User selectable batch processing
Bug #928924 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Wishlist
|
Jakob Taankvist |
Bug Description
In batch processing, individual engines or all of them can be selected. Please, add the last item
"User selectable" that will open an dialog allowing for an individual selection of engines (e.g. B,C and F).
Related branches
lp:~tapaal-contributor/tapaal/userSelectableBatchProcessing
- Kenneth Yrke Jørgensen: Approve (code)
- Jiri Srba: Approve
-
Diff: 755 lines (+398/-134)6 files modifiedsrc/dk/aau/cs/gui/BatchProcessingDialog.java (+338/-91)
src/dk/aau/cs/translations/ReductionOption.java (+1/-1)
src/dk/aau/cs/verification/batchProcessing/BatchProcessingVerificationOptions.java (+24/-2)
src/dk/aau/cs/verification/batchProcessing/BatchProcessingWorker.java (+30/-39)
src/pipe/gui/GuiFrame.java (+1/-1)
src/pipe/gui/widgets/EscapableDialog.java (+4/-0)
Changed in tapaal: | |
status: | New → Triaged |
Changed in tapaal: | |
status: | Triaged → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.