Polyspace Code Prover User Program Error: No functions available that are out of class scope to call with -main-generator-calls option

I am facing a problem while launching Polyspace Code Prover analysis on a project. I experience no issues with Polyspace Bug Finder on the same project. However upon running analysis I receive the following error.

 

Stubbing standard library functions ...
Doing code transformations ...
User Program Error: No functions available that are out of class scope to call with -main-generator-calls option.

Packing compilation data
done.

Do you have any suggestions on how to resolve this error?

Answer 1

[MathWorks Support Team]

This error indicates that the "-main-generator-calls" is defined as 'none'.

This results in no function being called and the subsequent error.

 

Please refer to the following documentation for more information on the "-main-generator" function options.

https://www.mathworks.com/help/releases/R2021a/codeprover/ref/verifymoduleorlibrarymaingenerator.html

https://www.mathworks.com/help/releases/R2021a/codeprover/ref/functionstocallmaingeneratorcalls.html

Please note the analysis may take a long time to complete.