Output persistency does not handle internal/input conflicts correctly

Bug #1539908 reported by Danil Sokolov
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
Workcraft
Confirmed
Medium
Danil Sokolov

Bug Description

The Reach expression for output persistency (hazards in circuits) needs improving to handle internal/input conflicts and triggering, and to allow exceptions (e.g. mutex outputs, wait element, etc.).

Tags: circuit mpsat stg
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.