Error: required main procedure not found

17 vues (au cours des 30 derniers jours)
Sriram G
Sriram G le 18 Avr 2018
Réponse apportée : Akshat Dalal le 26 Oct 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 commentaires
Ab
Ab le 27 Jan 2023
Getting the same error as reported here. any idea?
Ab
Ab le 27 Jan 2023
Found the issue. Need to add "-main-generator".

Connectez-vous pour commenter.

Connectez-vous pour répondre à cette question.

Réponses (1)

Akshat Dalal
Akshat Dalal le 26 Oct 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

Catégories

En savoir plus sur Options at Command Line Only dans Help Center et File Exchange

Tags

Produits

Community Treasure Hunt

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

Start Hunting!

Translated by