Creo ModelCHECK > config_init_options > DETAIL_USERPARAM
DETAIL_USERPARAM
Stellen Sie diese Option auf den Namen des benutzerdefinierten Parameters ein. Der Wert dieses Parameters wird in den detaillierten Modelcheck Berichtsdateien im mc_reports-Verzeichnis mit den Dateierweiterungen .dsumm.html und .dsumm.xml angezeigt.
Die Initialisierungsoption HTML_FILE_OUTPUT (HTML_FILE_OUTPUT) muss für die zu erzeugenden Berichte auf "J (Y)" eingestellt werden.
War dies hilfreich?