add_trans - Modifies the transition relation


add_trans [-h] | trans-expression

Modifies the transition relation. trans-expression is evaluated and then conjoined with the current transition relation. This command can be used only if the partitioning method is Monolithic. This command has the same effect of a TRANS statement in the original input file. Before executing this command you have to execute the dump_model command.


Last updated on 990908 16h51