[Simulation] Cannot stop the Test Suite simulation after an error occured
To reproduce:
- Open the SimpleTrafficLights Test Specification Example
- Go to TLCSystem,
- Right-click, choose Run Simulation: error occur, choose that you want to continue the simulation despite the errors. But, you cannot stop the simulation afterwards.
(from redmine: issue id 2230, created on 2015-01-26, closed on 2015-07-30)