Main Content

Precision

Specify verification precision

To control the verification precision, use the precision options. The more precise the verification, the fewer the number of orange checks to review. You have to manually review orange checks because they indicate code where the verification cannot prove the presence or absence of an error.

Polyspace Options

expand all

Precision level (-O0 | -O1 | -O2 | -O3)Specify a precision level for the verification
Verification level (-to)Specify number of times the verification process runs on your code
Verification time limit (-timeout)Specify a time limit on your analysis
Sensitivity context (-context-sensitivity)Store call context information to identify function call that caused errors
Improve precision of interprocedural analysis (-path-sensitivity-delta)Avoid certain verification approximations for code with fewer lines
Specific precision (-modules-precision)Specify source files you want to verify at higher precision than the remaining verification

Topics