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