Go to the first, previous, next, last section, table of contents.
The behavior of the system depends on the value of some environment
variables. For instance, an environment variable specifies the
partitioning method to be used in building the transition relation. The
value of environment variables can be inspected and modified with the
`set' command. Environment variables can be either logical
or utility.
TAB key (in a way similar to the file
completion inside the "bash" shell). If the system has not been compiled
with the "readline" library, a built-in method to perform file
completion a la "csh" can be used. This method is enabled with the
`set filec' command. The "csh" file completion method can be
also enabled if the "readline" library has been used. In this case the
features offered by readline will be disabled.
shell_char specifies a character to be used as shell escape.
The default value of this environment variable is `!'.
history_char specifies a character to be used in history
substitutions.
The default value of this environment variable is `%'.
open_path (in analogy to the shell-variable PATH) is a list
of colon-separated strings giving directories to be searched
whenever a file is opened for read. Typically the current
directory (`.') is first in this list. The standard system
library (NuSMV_LIBRARY_PATH)
is always implicitly appended to the current path. This provides a
convenient short-hand mechanism for reaching standard library files.
stderr) can be re-directed to a file
by setting the variable nusmv_stderr.
stdout) can be re-directed to a file
by setting the internal variable nusmv_stdout.
stdin) can be re-directed to a file
by setting the internal variable nusmv_stdin.