UI support for new transformation
Add the option to trigger new transformation in the analysis view, and a button in case of counterexample to simulate counterexample
(from redmine: issue id 2648, created on 2016-07-25, closed on 2016-08-01)
- Relations:
- parent #2643 (closed)
- Uploads: