Results of CSC resolution by MPSat cannot be read
Bug #1502715 reported by
Danil Sokolov
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Workcraft |
Fix Committed
|
Critical
|
Danil Sokolov |
Bug Description
To reproduce, create an STG with a CSC conflict (e.g. a toggle) and try to resolve it with MPSat. It will result in an error instead of producing a new STG.
MPSat produces a mpsat.g file in the "working directory". It looks like the files are produced in Workcraft home directory instead of a dedicated tmp directory.
Related branches
lp:~danilovesky/workcraft/trunk-bug-1502715
- Danil Sokolov: Approve
-
Diff: 517 lines (+173/-61)15 files modifiedFstPlugin/src/org/workcraft/plugins/fst/VisualFst.java (+7/-4)
MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatCscResolutionResultHandler.java (+3/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatChainTask.java (+31/-20)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatConformationTask.java (+0/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatTask.java (+1/-6)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tasks/PunfTask.java (+4/-5)
PetriNetPlugin/src/org/workcraft/plugins/petri/PetriNetUtils.java (+90/-1)
PetriNetPlugin/src/org/workcraft/plugins/petri/VisualPetriNet.java (+15/-8)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/SynthesisTask.java (+1/-1)
STGPlugin/src/org/workcraft/plugins/stg/VisualSTG.java (+16/-8)
WorkcraftCore/src/org/workcraft/dom/AbstractModel.java (+3/-1)
WorkcraftCore/src/org/workcraft/dom/visual/AbstractVisualModel.java (+0/-1)
WorkcraftCore/src/org/workcraft/dom/visual/VisualModel.java (+0/-1)
WorkcraftCore/src/org/workcraft/plugins/layout/DotLayoutTool.java (+1/-1)
WorkcraftCore/src/org/workcraft/plugins/shared/tasks/ExternalProcessResult.java (+1/-2)
Changed in workcraft: | |
status: | Confirmed → Fix Committed |
To post a comment you must log in.