Для более глубокого или более поверхностного анализа определенной конструкции кода используйте опции масштабирования. Использование этих опций иногда может значительно изменить время верификации.
Inline (-inline) | Задайте функции, которые должны быть клонированы внутри для каждого вызова функции |
Depth of verification inside structures (-k-limiting) | Ограничьте глубину анализа для вложенных структур |
Задайте опции анализа Polyspace
Задайте Polyspace® опции анализа в пользовательском интерфейсе Polyspace, других IDE-s или скриптах.