verifypn trace generation error
Bug #2007298 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Unassigned |
Bug Description
Open the attached net and verify. The trace returned by verifypn is not executable. In face, the transition sequence is okay but there are some transitions that require input tokens from two different places but the engine returns only one of them.
Changed in tapaal: | |
status: | New → Fix Committed |
To post a comment you must log in.
here is the net