"Search whole state space" failing for certain nets in batch processing
Bug #1801729 reported by
Peter Haahr Taankvist
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
New
|
Undecided
|
Unassigned | ||
Bug Description
Open batch processing and run the net 5.xml(Attached here) when "Search whole state space" is selected. It will say error during verification.
Revision history for this message
| Peter Haahr Taankvist (ptaank) wrote | #1 |
To post a comment you must log in.
