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.
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
| Changed in tapaal: | |
| status: | New → Fix Committed |
Revision history for this message
| Lena Ernstsen (lsaid) wrote | #2 |
To post a comment you must log in.
Fixed net where tarjan is not true for the LTL query