quit - exits NuSMV
quit [-h] [-s]
Stops the program. Does not save the current network
before exiting.
Command options:
- -s
- Frees all the used memory before quitting.
This is slower, and it is used for finding memory leaks.
Last updated on 2009/03/04 13h:34