run
Polyspace 解析の実行
構文
run(proj, product)
説明
status
= run(
は、proj
, product
)polyspace.Project
オブジェクト proj
で指定された構成を使用して Polyspace® Bug Finder™ または Polyspace Code Prover™ 解析を実行します。解析結果は proj
にも保存されます。
入力引数
出力引数
例
バージョン履歴
R2017b で導入
Polyspace 解析の実行
run(proj, product)
status
= run(
は、proj
, product
)polyspace.Project
オブジェクト proj
で指定された構成を使用して Polyspace® Bug Finder™ または Polyspace Code Prover™ 解析を実行します。解析結果は proj
にも保存されます。
R2017b で導入