Batch verify fails in cpn branch
Bug #2007944 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 CPN branch, open the referendum timed colored net (last on in examples) and select both queries and press "verify". The batch processing dialog will open but nothing happens. It works correctly for the other nets with several queries that are in the example nets.
| Changed in tapaal: | |
| assignee: | nobody → Lena Ernstsen (lsaid) |
| Changed in tapaal: | |
| status: | New → In Progress |
| Changed in tapaal: | |
| status: | In Progress → Fix Committed |
To post a comment you must log in.
