Next: Global options, Previous: Command line options, Up: Command line options
The following list presents all command line options for which there is no (directly) corresponding option that may be set in the program configuration file.
(When using one of the alternative formats, it is recommended to use parentheses to avoid possible ambiguities in the precedence and associativity of the various operators; in lbtt, the unary operators have the highest precedence, `/\' has higher precedence than `\/', which in turn has higher precedence than any of `->', `<->' or `xor', and the binary temporal operators have the lowest precedence. All binary logical operators are left-associative; all binary temporal operators are nonassociative.)
If this option is used, all command line or configuration file parameters
affecting the generation of random LTL formulas (excluding their mode of
output) are ignored.