-main)Задайте Microsoft Visual C++
расширения main
Эта опция влияет на анализ Code Prover только.
Эта опция не доступна для кода, сгенерированного из MATLAB® код или Simulink® модели.
Задайте функцию, которую вы хотите использовать в качестве main. Если функция не существует, остановки верификации с сообщением об ошибке. Используйте эту опцию, чтобы задать Microsoft® Visual 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 - источники |
Пример (Сервер Code Prover):
сервер программы автоматического доказательства полипробела кода - источники |
Verify whole application | Verify module or library (-main-generator)