试用软件

where do i find polyspace codeprover -functions-called-before-loop setting in code prover interface

1 次查看（过去 30 天）

显示更早的评论

Rashmin Limbachiya 2018-11-8

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/428635-where-do-i-find-polyspace-codeprover-functions-called-before-loop-setting-in-code-prover-interface

评论： Alexandre De Barros 2018-11-13

采纳的回答： Alexandre De Barros

i am creating a new project in Polyspace in the polyspace interface.

I want to use the option: -functions-called-before-loop

But I dont see any option to set this in the settings. rather i see only option to set following' -functions-called-before-main

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

请先登录，再进行评论。

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

采纳的回答

Alexandre De Barros 2018-11-10

1
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/428635-where-do-i-find-polyspace-codeprover-functions-called-before-loop-setting-in-code-prover-interface#answer_346213

Hello,

this option is available only when the project is for a model-generated code.

And in this case, the option can be found in the main generator node.

Best regards, Alexandre

7 个评论
显示 5更早的评论隐藏 5更早的评论

Rashmin Limbachiya 2018-11-13

Awesome. I got the things clear now. Thank you Very much :)

Alexandre De Barros 2018-11-13

Great ! :)

请先登录，再进行评论。

更多回答（0 个）

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

类别

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

Verification, Validation, and Test Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

在 Help Center 和 File Exchange 中查找有关 Run Settings 的更多信息

标签

Community Treasure Hunt

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

Translated by

试用软件