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