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: