Creo ModelCHECK > config_init_options > DETAIL_USERPARAM
DETAIL_USERPARAM
将此选项设置为用户定义参数的名称。此参数的值将显示在 mc_reports 目录下文件扩展名为 .dsumm.html.dsumm.xml 的详细 Modelcheck 报告文件中。
初始化选项 HTML_FILE_OUTPUT 必须设置为 Y 才能够生成报告。
这对您有帮助吗?