Token minimization issue - CPN hyper-LTL
Bug #2020590 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Committed
|
Undecided
|
Lena Ernstsen | ||
Bug Description
In the hyper-LTL branch (and possibly also in CPN branch) open the query and press "check for boundedness" The answer it true (correct). Then press minimize the number of tokens and it answers
that is is not bounded - in fact it should minimize the number of extra tokens to 0.
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
| Changed in tapaal: | |
| assignee: | nobody → Lena Ernstsen (lsaid) |
| status: | New → In Progress |
Revision history for this message
| Jiri Srba (srba) wrote | #2 |
| Changed in tapaal: | |
| status: | In Progress → Fix Committed |
To post a comment you must log in.
Here is net with the same issue that is faster to verify.