0
Я пытаюсь использовать плагин pdg-dot, чтобы помочь создать хороший график моего программного обеспечения. Проблема заключается в том, что у разных файлов нет основной информации, поэтому Frama-C жалуется. Когда я использую тег -main и задаю функцию для его запуска, он создает только файл .dot для функции и что-то внутри нее. Есть ли способ сделать .dot-файл всего файла .c, который у меня есть?График Frama-C полного файла
У меня хорошая точка входа, но теперь, после того, как мне пришлось сражаться с отсутствующими файлами заголовков, я получаю gtkwin.c: 77: [kernel] ошибка пользователя: синтаксическая ошибка. Что-нибудь, что я могу сделать, чтобы исправить это? – Adam