Boundedness check for CPN is broken
Bug #1936638 reported by
Jiri Srba
This bug affects 2 people
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Committed
|
Undecided
|
Thomas Pedersen | ||
Bug Description
Open the attached and, open the query and click "check boundedness". It says that net is bounded but sets the extra number of tokens to 0, which is wrong (as now the verification answer is in yellow - inconclusive).
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
| Changed in tapaal: | |
| status: | New → Confirmed |
| assignee: | nobody → Thomas Pedersen (tpede16) |
| Changed in tapaal: | |
| status: | Confirmed → Fix Committed |
To post a comment you must log in.
