清空筛选条件
清空筛选条件

How to add array to constants in Polyspace Code Prover ?

2 次查看（过去 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 中查找有关 Run Settings 的更多信息

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by