Основная точка входа (-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 в качестве точки входа к вашему коду.

Зависимости

Эта опция включена только если вы:

Информация о командной строке

Параметр: -main
Значение: _tmain | wmain | _tWinMain | wWinMain | WinMain | DllMain
Пример (программа автоматического доказательства кода): polyspace-code-prover -sources file_name -compiler visual14.0 -main _tmain
Пример (сервер программы автоматического доказательства кода): polyspace-code-prover-server -sources file_name -compiler visual14.0 -main _tmain