-
Jonathan Shahen authored
Ability to write out each SMV file, currently deactivated (must manually change this - only do this if you want to manually run NuSMV), also now writes out (can disable) the rule that created each NuSMV NEXT case
2e9892ff
Ability to write out each SMV file, currently deactivated (must manually change this - only do this if you want to manually run NuSMV), also now writes out (can disable) the rule that created each NuSMV NEXT case