L'infrastructure ModelCHECK a été activée pour prendre en charge les assemblages inséparables dans le rapport ModelCHECK.
Cette amélioration introduit les nouvelles vérifications suivantes :
• config_init_option MC_MRG_EMBED_COMP_ERR : intègre le nombre d'erreurs du composant intégré dans le paramètre d'assemblage parent pour une gestion transparente des erreurs. Cette vérification est désactivée par défaut.
• MC_MRG_COMP_ERR_IN_TOP_ASM : fusionne le nombre d'erreurs du composant dans le paramètre d'erreurs de l'assemblage supérieur. Cette vérification est désactivée par défaut.
• MC_RUN_ON_ASM_COMP : exécute ModelCHECK dans les composants intersectés. Cette vérification est désactivée par défaut.
Avantages
Ces vérifications offrent une fonctionnalité améliorée d'examen des modèles contenant des assemblages inséparables.
Informations supplémentaires
Conseils :
Certaines vérifications sont désactivées par défaut et doivent être configurées sur Y pour activer leur fonctionnalité.
Limites :
Il n'existe aucune limite connue.
Cette modification remplace-t-elle une fonctionnalité existante ?
Non.
Option de configuration associée à cette fonctionnalité :