Error: required main procedure not found

8 ビュー (過去 30 日間)
Sriram G
Sriram G 2018 年 4 月 18 日
回答済み: Akshat Dalal 2024 年 10 月 26 日
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 日
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