0
Ich habe installiert NuSMV die readme bereitgestellt verwenden, aber wenn ich versuche, den NuSMV Befehl zu verwenden, erhalte ich die folgende Meldung: -bash: NuSMV: Befehl nichtLauf NuSMV auf OSX
gefundengibt es nicht viel Informationen im Internet dazu, so würde ich jede Hilfe zu schätzen
Haben Sie versucht, das Verzeichnis 'bin' mit der gerade erstellten Datei * NuSMV * an die Variable' PATH' anzuhängen und zu exportieren? diese –
war der letzte Schritt, den ich tat% Export NUSMV_LIBRARY_PATH = [...]//NuSMV/share/NuSMV Ich habe ein bin-Verzeichnis mit NuSMV ausführbaren –
Roosh
ich zum 'PATH' Variable bedeuten –