CTL and LTL not enough tokens problem
Bug #1997234 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. Both LTL and CTL queries verify as TRUE. Now decrease the number of tokens in both queries - both of them verify as FALSE now, which is wrong (it should be yellow and say that there are not enough tokens).
Should be fixed both in cpn but also in 3.9 series.
Changed in tapaal: | |
status: | New → Fix Committed |
To post a comment you must log in.
Fixed net where tarjan is not true for the LTL query