Batch processing for workflows
Bug #1272214 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Released
|
Critical
|
Peter Haahr Taankvist | ||
Bug Description
Add a new option for query in batch processing:
Soundness of a Workflow Net
Strong Soundness of a Workflow Net
that will verify soundness and in the second option both normal and strong strong soundness for the workflow nets
in the batch.
Related branches
lp:~tapaal-contributor/tapaal/batch-processing-for-workflows-1272214
- Jiri Srba: Approve
- Peter Haahr Taankvist (community): Needs Resubmitting
-
Diff: 603 lines (+279/-75)7 files modifiedsrc/dk/aau/cs/approximation/ApproximationWorker.java (+1/-1)
src/dk/aau/cs/gui/BatchProcessingDialog.java (+27/-10)
src/dk/aau/cs/verification/Stats.java (+7/-1)
src/dk/aau/cs/verification/VerificationResult.java (+4/-0)
src/dk/aau/cs/verification/batchProcessing/BatchProcessingVerificationOptions.java (+1/-1)
src/dk/aau/cs/verification/batchProcessing/BatchProcessingWorker.java (+239/-60)
src/pipe/gui/widgets/WorkflowDialog.java (+0/-2)
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
| Changed in tapaal: | |
| importance: | High → Medium |
| Changed in tapaal: | |
| assignee: | nobody → Peter Haahr Taankvist (ptaank) |
| importance: | Medium → Critical |
| Changed in tapaal: | |
| status: | New → Fix Committed |
| Changed in tapaal: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
Wait with this one until the tapaal-approx-new branch is merged to trunk in order to avoid many conflicts.