quit - exit NuSMV


quit [-h] [-s]

Stops the program. Does not save the current network before exiting.

Command options:

-s
Free all the memory before quitting. This is slower, and is used for finding memory leaks.

Last updated on 990908 16h51