Error: required main procedure not found

조회 수: 17 (최근 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