本页面提供的是上一版软件的文档。当前版本中已删除对应的英文页面。
精度
指定分析精度
要控制分析精度，请使用精度选项。
这些选项旨在用于 Code Prover 验证，但有时在 Bug Finder 分析中也很有用。
Polyspace 选项
验证时限 (-timeout) | Specify a time limit on your analysis |
本页面提供的是上一版软件的文档。当前版本中已删除对应的英文页面。
要控制分析精度，请使用精度选项。
这些选项旨在用于 Code Prover 验证，但有时在 Bug Finder 分析中也很有用。
验证时限 (-timeout) | Specify a time limit on your analysis |
