-main)Задайте Microsoft Visual C++
расширения main
Эта опция влияет на анализ Программы автоматического доказательства Кода только.
Эта опция не доступна для кода, сгенерированного из кода 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 |
Пример (Программа автоматического доказательства Кода):
Polyspace Code Prover - источники |
Пример (Сервер Программы автоматического доказательства Кода):
сервер программы автоматического доказательства полипробела кода - источники |