
  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 990119 20h08
