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.