How to put poly space annotation in m code which generates to c code

1 次查看（过去 30 天）

显示更早的评论

Hariom Singh 2019-1-24

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/441308-how-to-put-poly-space-annotation-in-m-code-which-generates-to-c-code

I have some m-code which generates c code and I want to annotate the polypsace comment .

So that the generated code is not analysed .Any example

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

请先登录，再进行评论。

请先登录，再回答此问题。

回答（0 个）

请先登录，再回答此问题。

类别

Code Verification Polyspace Code Prover Configure and Run Analysis Complete List of Polyspace Code Prover Analysis Options Options at Command Line Only

Verification, Validation, and Test Polyspace Code Prover Configure and Run Analysis Complete List of Polyspace Code Prover Analysis Options Options at Command Line Only

在 Help Center 和 File Exchange 中查找有关 Options at Command Line Only 的更多信息

标签

产品

版本

R2017b

Community Treasure Hunt

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

Translated by