counterexample simulation
In a certain case counterexample simulations is failing because of no implementation of step back button in CounterExampleSimulator.
(from redmine: issue id 3115, created on 2017-10-23, closed on 2017-11-09)
In a certain case counterexample simulations is failing because of no implementation of step back button in CounterExampleSimulator.
(from redmine: issue id 3115, created on 2017-10-23, closed on 2017-11-09)