MC_VERIFY_INST_POST
<Y/N>
If set to Y, family table instances are checked during ModelCheck Regeneration mode, ModelCheck parameters are propagated to all instances. The default is N.
|
Setting this option to Y, checks all family table instances and increases the time to regenerate the model when ModelCheck is run.
|