Check for normalcy tool outputs wrong messsage
Bug #1332112 reported by
Danil Sokolov
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| Workcraft |
Fix Committed
|
Low
|
Danil Sokolov | ||
Bug Description
To reproduce create an STG model p0->dum0 and run Tools->
Observed behaviour:
The call for Check for normalicy tool results in a message "CSC is satisfied"
Expected behaviour:
The output should be "Normalicy is satisfied"
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)
| summary: |
- Check for normalicy tool outputs CSC is satisfied + Check for normalcy tool outputs CSC is satisfied |
| summary: |
- Check for normalcy tool outputs CSC is satisfied + Check for normalcy tool outputs wrong messsage |
| Changed in workcraft: | |
| status: | Triaged → Fix Committed |
To post a comment you must log in.
