이 페이지의 내용은 이전 릴리스에 관한 것입니다. 해당 영문 페이지는 최신 릴리스에서 제거되었습니다.

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