MC_DISABLE_IGNORE_IN_FUTURE
<Y/N>
Active ou désactive l'option Ignorer désormais (Ignore in Future) dans le rapport ModelCheck.
• Y : désactive l'option Ignorer désormais (Ignore in Future) dans le rapport ModelCheck.
• N : il s'agit de la valeur par défaut. Active l'option Ignorer désormais (Ignore in Future) pour les vérifications de fonction dans le rapport ModelCheck.