Simulation traces get forgotten
Bug #1339216 reported by
Stan
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| Workcraft |
Fix Committed
|
Low
|
Danil Sokolov | ||
Bug Description
After running a simulation, the simulation trace should not be simply forgotten. Cleaning the trace before simulation is not essential either, because the first difference from the trace transition will clean its tail and create a new branch.
Related branches
lp:~danilovesky/workcraft/trunk-bug-1339216
- Danil Sokolov: Approve
-
Diff: 98 lines (+11/-24)3 files modifiedMpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatResultParser.java (+8/-16)
MpsatPlugin/src/org/workcraft/plugins/mpsat/gui/SolutionPanel.java (+1/-1)
PetriNetPlugin/src/org/workcraft/plugins/petri/tools/PetriNetSimulationTool.java (+2/-7)
| summary: |
- traces get forgetten + traces get forgotten |
| Changed in workcraft: | |
| status: | New → Confirmed |
| importance: | Undecided → Low |
| assignee: | nobody → Danil Sokolov (danilovesky) |
| milestone: | none → 3.0 |
| tags: | added: ui |
| summary: |
- traces get forgotten + Simulation traces get forgotten |
| Changed in workcraft: | |
| status: | Confirmed → Fix Committed |
| description: | updated |
To post a comment you must log in.
