Polyspace-Code-Prover: User Program Error: User should provide a main routine, use -main or -main-generator.

4 visualizaciones (últimos 30 días)
When running Polyspace-Code-Prover, the log file results with:
"User Program Error: User should provide a main routine, use -main or -main-generator."
The project has a "main" function. Not sure what this response means then...

Respuesta aceptada

Anirban
Anirban el 28 de Jul. de 2020
Editada: Anirban el 28 de Jul. de 2020
Hi,
Could you confirm a couple of things:
  • The file that has the main function was indeed added to the Polyspace project (if you know which file has the main)? I understand you used polyspace-configure to generate a Polyspace project (or options file) from a Visual Studio project/solution. I just want to confirm that the file containing the main got added in this process.
  • Your Visual Studio project has the regular main function that is just called main and not one of the Visual extensions of main like wWinMain? In which case, you have to use the option Main entry point.
  7 comentarios
Anirban
Anirban el 29 de Jul. de 2020
Sorry again. I forgot this was C++.
Can you try -class-analyzer all -class-analyzer-calls unused?
The -main-generator-calls is all that is needed in C. But in C++, it looks only at functions defined outside a class scope. See more about the options in -class-analyzer and -class-analyzer-calls.
jeremy longstreet
jeremy longstreet el 29 de Jul. de 2020
Ran Polyspace-code-prover on a couple projects that had returned the error prior... now it no longer puts out that error message. Thank you.

Iniciar sesión para comentar.

Más respuestas (0)

Etiquetas

Productos


Versión

R2020a

Community Treasure Hunt

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

Start Hunting!

Translated by