Error: required main procedure not found

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.

[Ab]

Getting the same error as reported here. any idea?

[Ab]

Found the issue. Need to add "-main-generator".

Answer 1

[Akshat Dalal]

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