Merge lp://staging/~danilovesky/workcraft/trunk-bug-1332527 into lp://staging/workcraft
Proposed by
Danil Sokolov
| Status: | Merged |
|---|---|
| Merged at revision: | 509 |
| Proposed branch: | lp://staging/~danilovesky/workcraft/trunk-bug-1332527 |
| Merge into: | lp://staging/workcraft |
| Diff against target: |
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) |
| To merge this branch: | bzr merge lp://staging/~danilovesky/workcraft/trunk-bug-1332527 |
| Related bugs: |
| Reviewer | Review Type | Date Requested | Status |
|---|---|---|---|
| Danil Sokolov | Approve | ||
|
Review via email:
|
|||
To post a comment you must log in.
Revision history for this message
| Danil Sokolov (danilovesky) | # |
review:
Approve
Preview Diff
[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
