Init to one on a primary port does not change the state of a connected pin
Bug #1447521 reported by
Danil Sokolov
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| Workcraft |
Fix Committed
|
Low
|
Danil Sokolov | ||
Bug Description
Init to one on a primary port does not change the state of a connected pin, and vice versa.
Related branches
lp://staging/~danilovesky/workcraft/trunk-bug-1447521
- Danil Sokolov: Approve
-
Diff: 1199 lines (+432/-268)30 files modifiedCircuitPlugin/src/org/workcraft/plugins/circuit/Circuit.java (+2/-33)
CircuitPlugin/src/org/workcraft/plugins/circuit/CircuitUtils.java (+185/-0)
CircuitPlugin/src/org/workcraft/plugins/circuit/Contact.java (+28/-19)
CircuitPlugin/src/org/workcraft/plugins/circuit/FunctionConsistencySupervisor.java (+52/-0)
CircuitPlugin/src/org/workcraft/plugins/circuit/InitStateConsistencySupervisor.java (+42/-0)
CircuitPlugin/src/org/workcraft/plugins/circuit/VisualCircuit.java (+19/-19)
CircuitPlugin/src/org/workcraft/plugins/circuit/VisualContact.java (+3/-3)
CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckCircuitTask.java (+2/-1)
CircuitPlugin/src/org/workcraft/plugins/circuit/tools/CheckCircuitTool.java (+1/-1)
CircuitPlugin/src/org/workcraft/plugins/circuit/tools/CircuitSimulationTool.java (+1/-1)
CircuitPlugin/src/org/workcraft/plugins/circuit/tools/STGGenerator.java (+15/-160)
DfsPlugin/src/org/workcraft/plugins/dfs/tools/CheckDataflowDeadlockTool.java (+1/-1)
DfsPlugin/src/org/workcraft/plugins/dfs/tools/CheckDataflowHazardTool.java (+1/-1)
DfsPlugin/src/org/workcraft/plugins/dfs/tools/CheckDataflowTool.java (+1/-1)
FsmPlugin/src/org/workcraft/plugins/fsm/Fsm.java (+1/-1)
FsmPlugin/src/org/workcraft/plugins/fsm/InitialStateSupervisor.java (+1/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatResultParser.java (+17/-10)
MpsatPlugin/src/org/workcraft/plugins/mpsat/gui/SolutionPanel.java (+1/-0)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatConformationTask.java (+2/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatTask.java (+2/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/AbstractMpsatChecker.java (+1/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatConformationChecker.java (+1/-1)
PetrifyPlugin/src/org/workcraft/plugins/petrify/PetrifyModule.java (+2/-0)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/PetrifyNetSynthesis.java (+1/-1)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/PetrifyNetSynthesisWithEr.java (+36/-0)
PolicyNetPlugin/src/org/workcraft/plugins/policy/tools/CheckDeadlockTool.java (+1/-1)
WorkcraftCore/src/org/workcraft/Trace.java (+3/-4)
WorkcraftCore/src/org/workcraft/util/Export.java (+7/-1)
WorkcraftCore/src/org/workcraft/workspace/Workspace.java (+2/-4)
WorkcraftCore/src/org/workcraft/workspace/WorkspaceEntry.java (+1/-1)
| Changed in workcraft: | |
| status: | In Progress → Fix Committed |
To post a comment you must log in.
