Opened 16 years ago
Closed 15 years ago
#174 closed enhancement (fixed)
Print intermediate report during execution
| Reported by: | ywei | Owned by: | Stephen Siegel |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | User Interface | Version: | |
| Keywords: | Cc: |
Description
During TASS exectuion, if -verbose is turned off, users don't get any information before program terminates. So it is useful to print something to tell users that program is still running. For example, print out a dot for every 500/1000 states that have been explored.
Change History (3)
comment:1 by , 16 years ago
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
comment:2 by , 16 years ago
| Resolution: | fixed |
|---|---|
| Status: | closed → reopened |
Not sure if this is best way to do this.
Also, has not been applied to v1.0.
comment:3 by , 15 years ago
| Resolution: | → fixed |
|---|---|
| Status: | reopened → closed |
Done a while ago, ticket never cleared. Every 100,000 states, messages is printed.
Note:
See TracTickets
for help on using tickets.
Intermediate report added. Program will print out a short message for every 5000 states it explores.