Add specialised MPSat command line parameters for CSC conflict resolution
Bug #1392026 reported by
Danil Sokolov
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| Workcraft |
Fix Committed
|
Low
|
Danil Sokolov | ||
Bug Description
The following parameters should be added to MPSat call for resolution of CSC conflicts:
-R -f -$1 -p0 -cl
Note that new PNML-based MPSat cannot resolve CSC conflicts yet (can only detect them).
Related branches
lp:~danilovesky/workcraft/trunk-bug-1392026
- Danil Sokolov: Approve
- Diff: 403 lines
| Changed in workcraft: | |
| status: | Confirmed → Fix Committed |
To post a comment you must log in.
