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

1 次查看（过去 30 天）
Rashmin Limbachiya
Rashmin Limbachiya 2018-11-8
评论： Alexandre De Barros 2018-11-13
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
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更早的评论

请先登录，再进行评论。

更多回答（0 个）

类别

在 Help Center 和 File Exchange 中查找有关 Code Prover Verification 的更多信息

标签

Community Treasure Hunt

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

Start Hunting!

Translated by