Каждый раз при анализе модели Simulink ® Design Verifier™ создает файл журнала. Для просмотра файла журнала щелкните Просмотр журнала в окне журнала Simulink Design Verifier.
Файл журнала содержит список результатов анализа для каждого объекта в модели. Содержимое файла журнала соответствует результатам анализа, отображаемым в окне журнала во время анализа.
