Creo ModelCHECK > config_init_options > MC_VERIFY_INST_POST
  
MC_VERIFY_INST_POST
<Y/N>
Se l'opzione è impostata su Y, le varianti di family table vengono controllate durante la modalità Rigenerazione di ModelCHECK (ModelCheck Regeneration) e i parametri ModelCheck vengono propagati a tutte le varianti. Il valore di default è N.
 
* Se impostate questa opzione su Y, vengono controllate tutte le varianti di family table e aumentato il tempo di rigenerazione del modello durante l'esecuzione di ModelCheck.