Bugs : Workcraft

Workcraft

Critical

Fix Committed

#1502715 Results of CSC resolution by MPSat cannot be read

Workcraft 6

High

Fix Committed

#1392029 Tools for CSC and USC checks should report pairs of traces leading to the same state code

Workcraft 6

Medium

Fix Committed

#1332527 Checking custom properties with Reachability analysis tool fails

Workcraft 6

Medium

Confirmed

#1539908 Output persistency does not handle internal/input conflicts correctly

Workcraft 6

Low

Confirmed

#1371683 Unapplicable MPSat modes in Petri net plugin

Workcraft 6

Low

Fix Committed

#1392026 Add specialised MPSat command line parameters for CSC conflict resolution

Workcraft 6

Low

Fix Committed

#1443992 If PNML-based unfolding is enabled, then CSC resolution and technology mapping incorrectly use new MPSat

Workcraft 6

Low

Fix Committed

#1449774 Inconsistent report of verification results

Workcraft 6

Report a bug

Bug supervisor:: Workcraft core developers