Error: required main procedure not found

10 次查看（过去 30 天）
Sriram G
Sriram G 2018-4-18
回答： Akshat Dalal 2024-10-26，10:37
I am getting following error, "required main procedure not found" in polyspace code prover and i am unable to add source files in modules. whether this creates above issue? Please clarify.
  2 个评论
Ab
Ab 2023-1-27
Getting the same error as reported here. any idea?
Ab
Ab 2023-1-27
Found the issue. Need to add "-main-generator".

请先登录，再进行评论。

请先登录，再回答此问题。

回答（1 个）

Akshat Dalal
Akshat Dalal 2024-10-26，10:37
When there is no 'main()' function in source code, Polyspace Code Prover stops with such an error message. You can ask polyspace to create an empty main via the below three ways:
  1. -main-generator
  2. -main-generator-calls unused
  3. -main-generator-writes-variables public

类别

在 Help Center 和 File Exchange 中查找有关 Options at Command Line Only 的更多信息

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by