polyspace automation standalone script for BF and CD
4 次查看(过去 30 天)
显示 更早的评论
After Integration polyspace 2019a with matlab 2015b few commands like polyspace-bug-finder and polyspace-code-prover not worked. it shows error like due to different releases not work. please suggest how to get the polyspace bf and cd reports through scripting.
0 个评论
采纳的回答
Shubham
2023-9-4
Hi basheer,
I understand you are not able to use commands like polyspace-bug-finder and polyspace-code-prover in Polyspace R2019a after integration with MATLAB R2015b.
From R2019a onwards, Polyspace Bug Finder and Polyspace Code Prover have become standalone products separate from MATLAB/Simulink. As a result, integrating Polyspace with MATLAB/Simulink requires additional steps to be performed.
Refer to this MATLAB Answers for more info
After correctly configuring Polyspace, you will be able to use those Polyspace commands.
0 个评论
更多回答(0 个)
另请参阅
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!