write_boolean_model [-h] [-o filename]
Writes the currently loaded SMV model in the specified file, after having flattened and booleanized it. Processes are eliminated and a corresponding equivalent model is printed out. If no file is specified, the file specified via the environment variable output_flatten_model_file is used if any, otherwise standard output is used.
Command options: