Creo ModelCHECK > config_init_options > MC_INTEACT_VERIFY_INST_POST
MC_INTEACT_VERIFY_INST_POST
<Y/N/Y>
Il valore di default è N.
Se l'opzione è impostata su Y, le varianti di family table vengono controllate nella modalità interattiva di ModelCHECK e i parametri di ModelCHECK vengono propagati/aggiornati in tutte le varianti. Al termine dell'esecuzione di ModelCHECK, ogni variante del modello corrente viene verificata e il parametro di ModelCHECK viene propagato in tutte le varianti.
È stato utile?