精度

解析精度の指定

解析精度を制御するには、精度オプションを使用します。

これらのオプションは Code Prover 検証で使用するためのものですが、Bug Finder 解析で役立つことがあります。

Polyspace オプション

検証時間の制限 (-timeout) 解析の時間制限の指定