Остановить проверку, если исходные файлы неполны и не содержат main функция
Этот параметр влияет только на анализ программы проверки кода.
Эта опция недоступна для кода, сгенерированного в моделях MATLAB ® или Simulink ®.
Укажите, что проверка Polyspace ® должна быть остановлена, если main отсутствует в исходных файлах.
Если выбран параметр Visual C++ ® дляCompiler (-compiler), можно указать, какая функция должна рассматриваться как main. Посмотрите Main entry point (-main).
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта этот параметр находится в узле Проверка проверочного кода (Code Prover Verification).
Файл командной строки и параметров: отсутствует соответствующий параметр командной строки. См. раздел Сведения о командной строке.
НаПроверка Polyspace останавливается, если она не находит main функция в исходных файлах.
Выкл. (по умолчанию)Polyspace продолжает проверку, даже когда main отсутствует в исходных файлах. Если main отсутствует, он генерирует файл __polyspace_main.c который содержит main функция.
При использовании этого параметра код должен содержать main функция. В противном случае появится ошибка:
Error: required main procedure not found
Если код не содержит main функция, используйте опцию Verify module or library (-main-generator) для создания main функция.
В отличие от пользовательского интерфейса, по умолчанию проверка из командной строки прекращается, если она не находит main функция в исходных файлах. При указании опции -main-generator, Polyspace генерирует main если он не может найти его в исходных файлах.