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

1 view (last 30 days)

Show older comments

Hariom Singh on 24 Jan 2019

0
Link

Direct link to this question

https://ch.mathworks.com/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 Comments
Show -2 older commentsHide -2 older comments

Sign in to comment.

Sign in to answer this question.

Answers (0)

Sign in to answer this question.

Categories

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

Find more on Options at Command Line Only in Help Center and File Exchange

Tags

Products

Release

R2017b

Community Treasure Hunt

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