Batch processing for verify is broken in 3.9
Bug #2004561 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Lena Ernstsen |
Bug Description
In 3.9 series, open homeconstruction, select all queries and click verify. The batch processing dialog will open but will do nothing. This seems to work correctly in cpn branch.
Related branches
lp:~tapaal-contributor/tapaal/broken-batchprocessing-2004561
- Jiri Srba: Pending requested
-
Diff: 24 lines (+8/-6)1 file modifiedsrc/dk/aau/cs/verification/VerificationResult.java (+8/-6)
Changed in tapaal: | |
assignee: | nobody → Lena Ernstsen (lsaid) |
Changed in tapaal: | |
status: | New → Fix Committed |
To post a comment you must log in.