精度

指定分析精度

要控制分析精度，请使用精度选项。

这些选项旨在用于 Code Prover 验证，但有时在 Bug Finder 分析中也很有用。

Polyspace 选项

验证时限 (-timeout)Specify a time limit on your analysis