Error: required main procedure not found

2018 4 18
1 个回答
更新时间：2024 10 26
19 次查看（30 天）

1 个投票

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

0 个投票

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

类别

在 帮助中心 和 File Exchange 中查找有关 Options at Command Line Only 的更多信息

产品

标签

提问:

Sriram G
Sriram G
2018-4-18

回答：

Akshat Dalal
Akshat Dalal
2024-10-26

Community Treasure Hunt

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

Start Hunting!

Translated by