LTL engine problem with NDSF
Bug #1947036 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
problem1 (NDFS loops on a net with finitely many reachable markings only - but Tarjan works correctly)
problem2 (NDSF returns error but Tarjan works)
Changed in tapaal: | |
status: | New → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
This bug is now fixed in revision reach-stub-new@279 (https:/ /bazaar. launchpad. net/~tapaal- ltl/verifypn/ reach-stub- new/revision/ 279).