How to add array to constants in Polyspace Code Prover ?
显示 更早的评论
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 个）
类别
在 帮助中心 和 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 
