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

1 view (last 30 days)
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

Accepted Answer

Alexandre De Barros
Alexandre De Barros on 10 Nov 2018
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 Comments

Sign in to comment.

More Answers (0)

Community Treasure Hunt

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

Start Hunting!