STG simulation: trace merging does not work correctly
Bug #1334772 reported by
Stan
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Workcraft |
Fix Committed
|
Medium
|
Danil Sokolov |
Bug Description
- open regression test model stg-composite_
- create some trace during simulation
- click on "merge branch into trace"
- fall back to some earlier point in the trace by clicking on one of the trace cells
- continue simulation, this will grow the branch trace
- click on the merge button again, this will simply add the branch trace at the end of the main trace (potentially creating an impossible trace)
Related branches
lp:~danilovesky/workcraft/trunk-bug-1334772
- Danil Sokolov: Approve
-
Diff: 824 lines (+237/-246)7 files modifiedCircuitPlugin/src/org/workcraft/plugins/circuit/tools/CircuitSimulationTool.java (+4/-5)
DfsPlugin/src/org/workcraft/plugins/dfs/tools/SimulationTool.java (+4/-4)
MpsatPlugin/src/org/workcraft/plugins/mpsat/gui/SolutionPanel.java (+3/-3)
PetriNetPlugin/src/org/workcraft/plugins/petri/tools/PetriNetSimulationTool.java (+137/-193)
PolicyNetPlugin/src/org/workcraft/plugins/policy/tools/SimulationTool.java (+4/-4)
STGPlugin/src/org/workcraft/plugins/stg/tools/STGSimulationTool.java (+10/-9)
WorkcraftCore/src/org/workcraft/Trace.java (+75/-28)
Changed in workcraft: | |
importance: | Undecided → Medium |
assignee: | nobody → Danil Sokolov (danilovesky) |
Changed in workcraft: | |
status: | New → Confirmed |
status: | Confirmed → In Progress |
milestone: | none → 3.0 |
Changed in workcraft: | |
status: | In Progress → Fix Committed |
To post a comment you must log in.