Info
이 질문은 마감되었습니다. 편집하거나 답변을 올리려면 질문을 다시 여십시오.
how can i add arrays to a constant in Polyspace code prover
조회 수: 3 (최근 30일)
이전 댓글 표시
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.
댓글 수: 0
답변 (0개)
이 질문은 마감되었습니다.
참고 항목
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!