where do i find polyspace codeprover -functions-called-before-loop setting in code prover interface
1 vue (au cours des 30 derniers jours)
Afficher commentaires plus anciens
Rashmin Limbachiya
le 8 Nov 2018
Commenté : Alexandre De Barros
le 13 Nov 2018
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 commentaires
Réponse acceptée
Alexandre De Barros
le 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 commentaires
Plus de réponses (0)
Voir également
Catégories
En savoir plus sur Run Settings dans Help Center et File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!