How to add array to constants in Polyspace Code Prover ?
조회 수: 1 (최근 30일)
이전 댓글 표시
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
답변 (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!