-main)Укажите
расширения Microsoft Visual C++ для main
Эта опция влияет только на анализ Code Prover.
Эта опция недоступна для кода, сгенерированного из MATLAB® код или Simulink® модели.
Задайте функцию, которую вы хотите использовать в качестве main. Если функция не существует, верификация останавливается с сообщением об ошибке. Используйте эту опцию, чтобы задать Microsoft® Визуальный C++® расширения main.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Code Prover Verification. Смотрите Зависимости для других опций, которые вы также должны включить.
Командная строка и файл опций: Используйте опцию -main. См. «Информация о командной строке».
По умолчанию: _tmain
_tmainИспользование _tmain в качестве точки входа в ваш код.
wmainИспользование wmain в качестве точки входа в ваш код.
_tWinMainИспользование _tWinMain в качестве точки входа в ваш код.
wWinMainИспользование wWinMain в качестве точки входа в ваш код.
WinMainИспользование WinMain в качестве точки входа в ваш код.
DllMainИспользование DllMain в качестве точки входа в ваш код.
Эта опция включена только в том случае, если вы:
Задайте Source code language (-lang) на CPP.
Выберите Verify whole application.
Параметр: -main |
Значение: _tmain | wmain | _tWinMain | wWinMain | WinMain | DllMain |
Пример (Code Prover):
Polyspace Code Prover -sources file_name |
Пример (Код Prover Server):
Полипространство -code-prover-server -sources file_name |