Make formal verification run on the rover model
Collection issue for the changes need to be done in order to run formal verification on the rover model.
(from redmine: issue id 3489, created on 2018-08-21, closed on 2018-09-18)
- Relations:
- child #3488 (closed)
- child #3490 (closed)
- child #3508 (closed)
- Uploads: