Trace reported by MPSat does not play
Bug #1339007 reported by
Danil Sokolov
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Workcraft |
Fix Committed
|
High
|
Danil Sokolov |
Bug Description
This is caused by cleaning the trace information on activated event of simulation tool. A solution is to fill the trace after activating the simulation tool, not before.
Related branches
lp:~danilovesky/workcraft/trunk-bug-1339007
- Danil Sokolov: Approve
-
Diff: 42 lines (+3/-9)1 file modifiedMpsatPlugin/src/org/workcraft/plugins/mpsat/gui/SolutionPanel.java (+3/-9)
description: | updated |
summary: |
- Trace reported from MPSat does not play due to wrong format + Trace reported from MPSat does not play |
summary: |
- Trace reported from MPSat does not play + Trace reported by MPSat does not play |
Changed in workcraft: | |
status: | Triaged → Fix Committed |
To post a comment you must log in.