Error: required main procedure not found

6 visualizzazioni (ultimi 30 giorni)
Sriram G
Sriram G il 18 Apr 2018
Risposto: Akshat Dalal il 26 Ott 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 Commenti
Ab
Ab il 27 Gen 2023
Getting the same error as reported here. any idea?
Ab
Ab il 27 Gen 2023
Found the issue. Need to add "-main-generator".

Accedi per commentare.

Accedi per rispondere a questa domanda.

Risposte (1)

Akshat Dalal
Akshat Dalal il 26 Ott 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

Categorie

Scopri di più su Options at Command Line Only in Help Center e File Exchange

Tag

Prodotti

Community Treasure Hunt

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

Start Hunting!

Translated by