I downloaded the NuSMV binary (MacOSX Darwin (x86) 64-bit).
After I unpacked it, I traveled to the bin folder in terminal.
I tried the command NuSMV -int, but I get an error : -bash: NuSMV: command not found
I tried to temporarily alter the path : PATH=$PATH:/Users/buzz/Desktop/Hunter/NuSMV/bin echo $PATH
When I echo, I see the path is there. I try again, same error.
If I open the file in the bin manually, labeled NuSMV, it aborts :
Input file is (null). You must set the input file before.
Aborting batch mode
NuSMV terminated by a signal
How do I get the NuSMV command to work in terminal?
Thank you