Opened 17 years ago
Last modified 17 years ago
#21 closed enhancement
improvements to user interface — at Initial Version
| Reported by: | Stephen Siegel | Owned by: | ywei |
|---|---|---|---|
| Priority: | minor | Milestone: | |
| Component: | User Interface | Version: | 1.0 |
| Keywords: | Cc: |
Description
At the end of a verification run, the system just prints "true" of "false". It should say something like "The property holds on all executions" or "The property does not hold: counterexample found".
During a comparison, instead of naming the models "P1" and "P2", how about "Spec" and "Impl".
Note:
See TracTickets
for help on using tickets.
