Error: required main procedure not found

7 visualizaciones (últimos 30 días)
Sriram G
Sriram G el 18 de Abr. de 2018
Respondida: Akshat Dalal el 26 de Oct. de 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 comentarios
Ab
Ab el 27 de En. de 2023
Getting the same error as reported here. any idea?
Ab
Ab el 27 de En. de 2023
Found the issue. Need to add "-main-generator".

Iniciar sesión para comentar.

Iniciar sesión para responder a esta pregunta.

Respuestas (1)

Akshat Dalal
Akshat Dalal el 26 de Oct. de 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

Categorías

Más información sobre Options at Command Line Only en Help Center y File Exchange.

Etiquetas

Productos

Community Treasure Hunt

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

Start Hunting!

Translated by