restore_model - Restores the model after interactive model modification.


restore_model [-h]

This command cancels the effects of all add_fairness, add_init and add_trans commands issued inside the model inspection session, i.e. after the dump_model command.


Last updated on 990908 16h51