Чтобы изменить поведение по умолчанию проверки на этапе выполнения, используйте опции поведения проверки. Например, по умолчанию, проверка переполнения обнаруживает переполнение в расчетах с целыми числами со знаком только. Можно указать, что проверка должна также обнаружить переполнение в расчетах с беззнаковым целым.
Подготовьте скрипты к анализу Polyspace
Объедините специфичные для проекта опции, такие как источники с допускающими повторное использование опциями, такими как средства проверки.
Измените или отключите проверки на этапе выполнения программы автоматического доказательства кода
Отключите подмножество проверок на этапе выполнения в Программе автоматического доказательства Кода