Resolve errors in the testing code of the exploration.smt plugin (31 errors)
Currently, there are 31 errors. Probably, they can be resolved using the new utility methods for the new DSE project model.
(from redmine: issue id 3621, created on 2019-01-24, closed on 2019-01-31)
- Relations:
- parent #3482 (closed)