add_init - Modifies the set of initial states.


add_init [-h] | simple-expression

Modifies the initial states. simple-expression is evaluated and conjoined with the set of initial states to form the new set of initial states. This command has the same effect of an INIT declaration in the original input file. Before executing this command you have to execute the dump_model command.


Last updated on 990908 16h51