Задайте для этой опции наименование определенного пользователем параметра. Значение этого параметра будет отображаться в файлах детального отчета Modelcheck в каталоге mc_reports с расширениями файлов .dsumm.html и .dsumm.xml.

Чтобы генерировались отчеты, опция инициализации HTML_FILE_OUTPUT должна иметь значение Y.