Defina esta opção com o nome de um parâmetro definido pelo usuário. O valor deste parâmetro será exibido nos arquivos de relatório Modelcheck detalhados no diretório mc_reports com as extensões de arquivo .dsumm.html e .dsumm.xml.

A opção de inicialização HTML_FILE_OUTPUT deve ser definida para Y para que os relatórios sejam gerados.