-
Jonathan Shahen authored
Writes out the SMV file always and now can call NuSMV with the file's name instead writing the file contents in a pipe
fe5c1cad
Writes out the SMV file always and now can call NuSMV with the file's name instead writing the file contents in a pipe