I'm trying to run NuSMV on Mac and I can run it normally but when I need to use the interactive mode the -int option gets an error - The command line option "–int" is unknown.
Has anybody else had this issue?
Asked
Active
Viewed 106 times
0
-
Did you try `NuSMV -h` and check whether `-int` is among the listed options? – Patrick Trentin Feb 19 '19 at 16:16
-
@PatrickTrentin Yes -int is in the list – A Loakes Feb 19 '19 at 16:28
-
did you try some older / newer version of the tool? VirtualBox? – Patrick Trentin Feb 19 '19 at 16:41