Error: required main procedure not found

9 views (last 30 days)
Sriram G
Sriram G on 18 Apr 2018
Answered: Akshat Dalal on 26 Oct 2024 at 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 Comments
Ab
Ab on 27 Jan 2023
Getting the same error as reported here. any idea?
Ab
Ab on 27 Jan 2023
Found the issue. Need to add "-main-generator".

Sign in to comment.

Sign in to answer this question.

Answers (1)

Akshat Dalal
Akshat Dalal on 26 Oct 2024 at 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

Categories

Find more on Options at Command Line Only in Help Center and File Exchange

Tags

Products

Community Treasure Hunt

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

Start Hunting!