How can I view the results of a Polyspace Code Prover project with Polyspace Bug Finder?

I have Polyspace Bug Finder installed on my computer and I would like to open the verification results of a Polyspace Code Prover project. I tried to open the Results from Polyspace Bug Finder with File > Open Result, but I received the following error message when selecting a .pscp Code Prover results file:

 

The selected results Demo_C.pscp

can not be opened with the Polyspace Bug Finder product.

Answer 1

[MathWorks Support Team]

Opening Code Prover results is only possible with the Code Prover application. If you double click on a .pscp (Polyspace Code Prover Results) file in the file browser, the correct application will automatically open and display the results. Alternatively you can open the Code Prover application manually (for instance from the Start Menu) and then choose File > Open Result, and then select the results file of the Code Prover project.

While the Code Prover application is required to open Code Prover results, please note that even if only the Polyspace Bug Finder product is installed, the Code Prover application is available to view verification results of Polyspace Code Prover.