Parsing the counterexample does not work
When running the nusmv from command line we get 2 states, in AF3 we have only one
(from redmine: issue id 1347, created on 2013-04-11, closed on 2014-01-27)
- Uploads:
When running the nusmv from command line we get 2 states, in AF3 we have only one
(from redmine: issue id 1347, created on 2013-04-11, closed on 2014-01-27)