AF3 stuck in an endless simulation loop
When executing a simulation that has a loop (e.g., the simulation of a counterexample) then a pop-up appears every loop saying “Start from the beginning”. This is fine. However, when you hit the play button in the simulation instead of stepping through the simulation, then AF3 keeps on popping up that window and you are not able to stop the simulation anymore. The only way to exit AF3 is via the Task Manager.
This issue could be resolved by adding an additional button “Stop simulation” in the pop up window, or by disabling the “Run” Mode for counterexmaple simulations (I’d prefer the first)
(from redmine: issue id 1850, created on 2013-12-02, closed on 2013-12-04)