The "Removing trace" popup keeps appearing when simulating
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Malo Dautry |
Bug Description
[cpn GUI branch]
When one verifies a query that leads to having a trace, automatic random simulation can be enabled. If one try to simulate automatically, the "Removing trace" popup appears. If one Cancel the removing of the current trace, it's still simulating, so the popup appears again and again, until one accepts to remove the trace.
It could be good if the automatic simulation stopped after clicking cancel on the popup.
For example, load the intro-example.tapn (Timed Arc example Petri Net). Make sure that the query Target Reachable has "Some trace" option enabled.
Verify the query. You should enter the simulation with an already existing trace. Click on Settings and tick the enable automatic random simulation.
Then click on Simulate. The popup should appear, and keeps appearing when clicking on Cancel.
Changed in tapaal: | |
assignee: | nobody → Malo Dautry (mdautry) |
assignee: | Malo Dautry (mdautry) → nobody |
status: | New → In Progress |
assignee: | nobody → Malo Dautry (mdautry) |
Changed in tapaal: | |
milestone: | none → cpn |
Changed in tapaal: | |
status: | In Progress → Fix Committed |
I think when automatic simulation is enabled and started, there should be no warning about the trace being removed.