where do i find polyspace codeprover -functions​-called-be​fore-loop setting in code prover interface

2018 11 8
1 个回答
回答已采纳
更新时间：2018 11 13
2 次查看（30 天）

0 个投票

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

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

 采纳的回答

Alexandre De Barros
Alexandre De Barros 2018-11-10

1 个投票

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
Rashmin Limbachiya 2018-11-12
thank you for the response. Even though i have created a project for model generated code, i can see options for -functions-called-before-main. No options visible for above setting
Rashmin Limbachiya
Rashmin Limbachiya 2018-11-12
I would like to mention the steps i have followed for analysis/creating the project- >Create a new Polyspace Project >Selected Baseline_C >Selected required model generated C source files >Selected required .h folders. >Settings in Configuration pane
I am not sure if these settings are sufficient for Model generated code, so that above mentioned settings are available
Alexandre De Barros
Alexandre De Barros 2018-11-12
Hello,
A model-generated-code project can only be created from Simulink. You cannot create one by using the Polyspace UI. You can only open such a project.
Indeed, the option -functions-called-before-loop is meaningful only in the context of generate-code. Best regards,
Alexandre
Rashmin Limbachiya
Rashmin Limbachiya 2018-11-13
Hello,
Thats indeed very helpful information. Thank you so much.
I would try creating same through Simulink(mscript).
By the way, is there any way to match the same settings through Polyspace UI?
Alexandre De Barros
Alexandre De Barros 2018-11-13
Hello,
> I would try creating same through Simulink(mscript).
Why don't you launch Polyspace from Simulink via the Polyspace menu, instead of using scripts ? Everything will be done automatically for you.
Here is a link explaining the different options used by Polyspace to analyse a generated code from Simulink (including -functions-called-before-loop).
https://www.mathworks.com/help/codeprover/ug/main-generation-for-model-verification.html
> By the way, is there any way to match the same settings through Polyspace UI?
Not in the Polyspace UI because they are supposed to be used only in the context of the integration with Simulink.
Best regards,
Alexandre

请先登录，再进行评论。

更多回答（0 个）

类别

在 帮助中心 和 File Exchange 中查找有关 Bug Finder Analysis in Simulink 的更多信息

标签

Community Treasure Hunt

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

Start Hunting!

Translated by