lp:~danilovesky/workcraft/trunk-bug-1332527

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:workcraft at revision 509

Danil Sokolov: Approve on 2014-06-20

Diff: 205 lines (+53/-8)

8 files modified

MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatChainResultHandler.java (+1/-0)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/AbstractMpsatChecker.java (+3/-7)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatConsistencyChecker.java (+8/-0)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatCscChecker.java (+8/-0)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatDeadlockChecker.java (+8/-0)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatNormalcyChecker.java (+9/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatPersistencyChecker.java (+8/-0)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatUscChecker.java (+8/-0)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1332108: STG specific tools should not be available in Petri net plugin	Low	Fix Committed
Bug #1332112: Check for normalcy tool outputs wrong messsage	Low	Fix Committed
Bug #1332527: Checking custom properties with Reachability analysis tool fails	Medium	Fix Committed

Link a bug report

Related blueprints

511. By Danil Sokolov on 2014-06-20

Non-STG Reachability analysis mode is added.

510. By Danil Sokolov on 2014-06-20

STG specific verification tools are removed from Peri net plugin

509. By Danil Sokolov on 2014-06-20

The output of normalcy checker is corrected.

508. By Danil Sokolov on 2014-06-18

Merge proposal for bugs #1331566 and 1331471 approved

507. By Danil Sokolov on 2014-06-05

Merge proposal for bug #1326800 approved

506. By Danil Sokolov on 2014-06-05

Merge proposal for bug #1281618 approved

505. By Danil Sokolov on 2014-06-05

Merge proposal for bugs #1326726 and #1322841 approved

504. By Danil Sokolov on 2014-06-05

Merge proposal for bug #1317910 approved

503. By Danil Sokolov on 2014-06-04

Merge proposal for bug #1287735 approved.

502. By Danil Sokolov on 2014-06-03

Merge proposal for bug #1312185 approved