Precision

Specify analysis precision

To control the analysis precision, use the precision options.

These options are intended to be used in a Code Prover verification, but can sometimes be useful for a Bug Finder analysis.

Polyspace 옵션

Verification time limit (-timeout) Specify a time limit on your analysis