精度

指定验证精度

要控制验证精度，请使用精度选项。验证精度越高，要审查的橙色检查结果数就越少。您必须手动审查橙色检查结果，因为它们表示验证无法证明代码中是否存在错误。

Polyspace 选项

全部展开

精度等级 (-O0 | -O1 | -O2 | -O3)指定用于验证的精度等级
验证等级 (-to)Specify number of times the verification process runs on your code
验证时限 (-timeout)Specify a time limit on your analysis
敏感度上下文 (-context-sensitivity)Store call context information to identify function call that caused errors
提高过程间分析的精度 (-path-sensitivity-delta)Avoid certain verification approximations for code with fewer lines
特定精度 (-modules-precision)Specify source files you want to verify at higher precision than the remaining verification

主题