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

3 visualizzazioni (ultimi 30 giorni)
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

Risposta accettata

Alexandre De Barros
Alexandre De Barros il 10 Nov 2018
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 Commenti

Accedi per commentare.

Più risposte (0)

Community Treasure Hunt

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

Start Hunting!

Translated by