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