Checking custom properties with Reachability analysis tool fails
Bug #1332527 reported by
Danil Sokolov
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| Workcraft |
Fix Committed
|
Medium
|
Danil Sokolov | ||
Bug Description
Choosing Reachability analysis mode of MPSat fails with the following error message:
MPSat mode "-F" is not (yet) supported.
Related branches
lp://staging/~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)
| tags: |
added: mpsat removed: tool |
| Changed in workcraft: | |
| status: | Triaged → Fix Committed |
To post a comment you must log in.
