Where do I find the duration of each analysis phase in Polyspace?

Where can I find statistics regarding the duration of each analysis phase upon running Polyspace Code Prover or Polyspace Bug Finder?

I don't see this information on the Dashboard in the Polyspace/Polyspace Access user interface.

Answer 1

[MathWorks Support Team]

This information is currently not available in the Dashboard in the Polyspace/Polyspace Access user interface. However, it can be found in the log file generated upon running the analysis. For each analysis phase, the log file displays the:

i) starting date and time,

ii) ending date and time, and

iii) duration (shown as "User time for <analysis_phase>").

The log file is stored in the results folder with the naming convention "Polyspace_R20##n_ProjectName_date-time.log".

The log file can be viewed on the User Interface of both the Polyspace Code Prover/Bug Finder R2022b and Polyspace Access R2022b through the following action:

1) Polyspace Code Prover/Bug Finder

Select Window > Show/Hide View > Run Log and make sure a tick appears next to "Run Log". A tab named "Run Log" should appear at the bottom right window in the default layout.

2) Polyspace Access User

If you are on the Dashboard of Polyspace Access, navigate to Review by clicking the icon in the ToolStrip. The same procedure follows: select Window > Show/Hide View > Run Log.