Error: required main procedure not found

6 Ansichten (letzte 30 Tage)
Sriram G
Sriram G am 18 Apr. 2018
Beantwortet: Akshat Dalal am 26 Okt. 2024
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 Kommentare
Ab
Ab am 27 Jan. 2023
Getting the same error as reported here. any idea?
Ab
Ab am 27 Jan. 2023
Found the issue. Need to add "-main-generator".

Melden Sie sich an, um zu kommentieren.

Melden Sie sich an, um diese Frage zu beantworten.

Antworten (1)

Akshat Dalal
Akshat Dalal am 26 Okt. 2024
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

Kategorien

Mehr zu Options at Command Line Only finden Sie in Help Center und File Exchange

Tags

Produkte

Community Treasure Hunt

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

Start Hunting!

Translated by