You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When program units have spec and body defined in separated files, only part of the code is extracted. Since the toll will generate the same file name for both spec and body, one of the two file got overridden during the extraction.
The text was updated successfully, but these errors were encountered:
When program units have spec and body defined in separated files, only part of the code is extracted. Since the toll will generate the same file name for both spec and body, one of the two file got overridden during the extraction.
The text was updated successfully, but these errors were encountered: