Info

This question is closed. Reopen it to edit or answer.

how can i add arrays to a constant in Polyspace code prover

1 view (last 30 days)
Shaku kaa
Shaku kaa on 18 Sep 2016
Closed: MATLAB Answer Bot on 20 Aug 2021
Polyspace code prover creating functions for constant and calibration in main generated by polyspace . we have details of these constant and calibration in .cpp file. our project language is c. it is taking full range for all of these constants and calibrations. we tried DRS, but we didn't find any option for feeding arrays to constants and calibrations.

This question is closed.

Answers (0)

This question is closed.

Tags

Products

Community Treasure Hunt

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

Start Hunting!