STG specific tools should not be available in Petri net plugin
Bug #1332108 reported by
Danil Sokolov
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Workcraft |
Fix Committed
|
Low
|
Danil Sokolov |
Bug Description
The tools for checking CSC, USC, normalicy, consistency and persistence properties should be hidden in Petri net models.
Related branches
lp:~danilovesky/workcraft/trunk-bug-1332527
- Danil Sokolov: Approve
-
Diff: 205 lines (+53/-8)8 files modifiedMpsatPlugin/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)
summary: |
- STG specific tools for should not be available in Petri net plugin + STG specific tools should not be available in Petri net plugin |
tags: |
added: ui removed: tool |
Changed in workcraft: | |
status: | Triaged → Fix Committed |
To post a comment you must log in.