Polyspace Code Prover pscp file does not show any results/violations shown in the CLI

For my C project, I ran Polyspace Code Prover in the CLI via the command "polyspace-code-prover -options-file myOptions", where "myOptions" is my Options File (text file) with all necessary options like target HW, compiler, C version, data type sizes etc.

The CLI log shows following data after the "Verification Post Analysis":

But once it finishes and I open the created pscp file with Polyspace Platform R2025b Update 4, I cannot see the green, red and orange violations, I only see violations for Global Variables, see screenshot:

What am I doing wrong?

Answer 1

[Christian Bard]

For this kind of behavior, the best is to contact MathWorks Technical Support directly: Contact Technical Support

Thank you,