-no-stl-stubs
)Не используйте реализации Polyspace функций в Стандартной библиотеке шаблонов
Укажите, что верификация не должна использовать реализации Polyspace® Стандартной библиотеки шаблонов.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Inputs & Stubbing. Смотрите Зависимость для других опций, которые необходимо также включить.
Командная строка и файл опций: Используйте опцию -no-stl-stubs
. Смотрите информацию о командной строке.
Когда вы используете шаблон класса от Стандартной библиотеки шаблонов (STL), анализ Polyspace, вместо того, чтобы проверить полное внедрение шаблона STL, использует тупики, чтобы улучшать производительность и точность.
Однако это может произойти, что ваш компилятор переопределяет шаблон STL с реализацией, которая конфликтует с реализацией Polyspace. Если конфликт происходит, вы видите ошибки, потому что ваш код использует вашу реализацию компилятора шаблона STL. Чтобы избежать ошибок, используйте эту опцию и препятствуйте тому, чтобы Polyspace использовал свои реализации шаблонов STL. Необходимо также явным образом обеспечить, путь к компилятору включает. Смотрите, что Стандартная библиотека шаблонов C++ Блокирует Ошибки
Верификация не использует реализации Polyspace Стандартной библиотеки шаблонов.
Верификация использует эффективные реализации Polyspace Стандартной библиотеки шаблонов.
Эта опция доступна, только если вы устанавливаете Source code language (-lang)
к CPP
или C-CPP
.
Параметр: -no-stl-stubs |
Значение по умолчанию: Off |
Пример (Программа автоматического доказательства Кода):
Polyspace Code Prover - источники |
Пример (Сервер Программы автоматического доказательства Кода):
сервер программы автоматического доказательства полипробела кода - источники |