A infraestrutura do Modelcheck foi habilitada para ter suporte para montagens inseparáveis no relatório do Modelcheck.
Esse aprimoramento apresenta as novas verificações a seguir:
• MC_MRG_EMBED_COMP_ERR config_init_option — Integra contagens de erros de componente incorporado no parâmetro de montagem pai para gerenciamento de erros sem problemas. Essa verificação está desativada por default.
• MC_MRG_COMP_ERR_IN_TOP_ASM — Mescla a contagem de erros de componente no parâmetro de erro de montagem superior. Essa verificação está desativada por default.
• MC_RUN_ON_ASM_COMP — O Modelcheck é executado em componentes intersecionados. Essa verificação está desativada por default.
Vantagens
Essas verificações fornecem uma capacidade aprimorada para revisar modelos com montagens inseparáveis.
Informações adicionais
Dicas:
Determinadas verificações estão desativadas por default e devem ser configuradas como Y para habilitar sua funcionalidade.
Limitações:
Não há limitações conhecidas.
Isso substitui a funcionalidade existente?
Não.
Opção de configuração associada a essa funcionalidade: