Add transitions statistics
Bug #1234526 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| verifypn |
Fix Released
|
Wishlist
|
Unassigned | ||
Bug Description
In the successor generator, count for each transition how many times it has been enabled during the search
and output this statistics to be displayed in TAPAAL (as it is done for verifytapn and verifydtapn). The logics
is that for a transition t you count ++ every single time successor generator says it is enabled.
| Changed in verifypn: | |
| status: | New → Fix Committed |
| Changed in verifypn: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
