Opened 17 years ago
Closed 17 years ago
#30 closed enhancement (fixed)
improve model names
| Reported by: | Stephen Siegel | Owned by: | ywei |
|---|---|---|---|
| Priority: | minor | Milestone: | |
| Component: | User Interface | Version: | 1.0 |
| Keywords: | file name model trace | Cc: | ywei@… |
Description
In compare mode, the models are named "Spec" and "Impl". I think it would be better to get the names from the filenames by just dropping the suffix. For example if the filename is "fooSpec.mmp" then the model will have name "fooSpec".
The name of the model is used as the root for the file names of the counterexample traces and models, so this will make it more clear for the user where those files come from.
Ditto for verify mode.
Change History (2)
comment:1 by , 17 years ago
| Status: | new → accepted |
|---|
comment:2 by , 17 years ago
| Resolution: | → fixed |
|---|---|
| Status: | accepted → closed |
Note:
See TracTickets
for help on using tickets.
Fixed.