-
Jonathan Shahen authored
Allowing for a choice between version for outputting the NuSMV format; WARNING: version 2 is not complete and should not be used until it is finished and tested
a30015c2
Allowing for a choice between version for outputting the NuSMV format; WARNING: version 2 is not complete and should not be used until it is finished and tested