How to add array to constants in Polyspace Code Prover ?

1 次查看（过去 30 天）
Shaku kaa
Shaku kaa 2016-9-19
In our code we have constants and calibration and it’s values are defined in .cpp file.
When we run code prover, its creating a functions for constants and calibrations in main created by polyspace.
We tried DRS too but we have some constant/calibration which are of array type and DRS does not have option to provide array values.
We want to include constant/calibration so polyspace takes their exact values.

请先登录，再回答此问题。

回答（0 个）

类别

在 Help Center 和 File Exchange 中查找有关 Options at Command Line Only 的更多信息

标签

产品

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by