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

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

Answer 1

[Alexandre De Barros]

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

[Rashmin Limbachiya]

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]

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]

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]

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]

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

[Rashmin Limbachiya]

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

[Alexandre De Barros]

Great ! :)