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