-modules-precision)Укажите исходные файлы, которые требуется проверить, с более высокой точностью, чем остальная проверка
Этот параметр влияет только на анализ программы проверки кода.
Укажите исходные файлы, которые требуется проверить, с точностью выше, чем для всей проверки.
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта опция доступна в узле Точность. Другие параметры, которые также необходимо включить, см. в разделе Зависимость.
файл командной строки и параметров: Использовать параметр -modules-precision. См. раздел Сведения о командной строке.
Если определенный файл проверен неверно, что приводит к множеству проверок оранжевого цвета в файле и в других местах, можно повысить точность этого файла.
Следует отметить, что повышение точности также увеличивает время проверки.
По умолчанию: все файлы проверяются с точностью, указанной с помощью команды «Точность» > «Точность».
Щелкните
, чтобы ввести имя файла без расширения .c и соответствующий уровень точности.
Эта опция доступна только при установке Source code language (-lang) кому C или C-CPP.
Параметр: -modules-precision |
Значение: |
Пример (проверка кода): polyspace-code-prover -sources |
Пример (сервер проверки кода):
polyspace-code-prover-server -sources |