If PNML-based unfolding is enabled, then CSC resolution and technology mapping incorrectly use new MPSat
Bug #1443992 reported by
Danil Sokolov
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| Workcraft |
Fix Committed
|
Low
|
Danil Sokolov | ||
Bug Description
New PNML-based MPSat does not support CSC resolution and technology mapping. Therefore, even is PNML-based unfolding is enabled, these two modes should be handled by the old MPSat tool.
To post a comment you must log in.
