
  read_model - Reads a NuSMV file into NuSMV.
     _________________________________________________________________
   
   read_model [-h] [-i model-file]
   
   Reads a NuSMV file. If the -i option is not specified, it reads from
   the file specified in the environment variable input_file.
   
   Command options:
   
   -i model-file
          Sets the environment variable input_file to model-file, and
          reads the model from it.
     _________________________________________________________________
   
   Last updated on 990119 20h08
