Creo ModelCHECK > config_init_options > MCREGEN_VERIFY_FT_INSTS
  
MCREGEN_VERIFY_FT_INSTS
<Y/N>
Se l'assieme è un rappresentante generico di una family, verifica tutte le varianti durante l'esecuzione di ModelCHECK Rigenera (ModelCHECK Regenerate). Il valore di default è N.
 
* Questa opzione di configurazione può essere applicata solo in modalità Interattiva e per gli assiemi.