How do I check the Update Level of an R2019a Polyspace Code Prover or Bug Finder Desktop installation?

The splash screen and menus do not have information on which update level my installation of Polyspace Code Prover or Bug Finder Desktop is on, how can I check this?

Answer 1

[MathWorks Support Team]

Due to a bug in R2019a, the update level of Polyspace Code Prover and Bug Finder Desktop cannot be determined by the usual means.

The best way to check this is in the $POLYSPACE/R20XXx/versioninfo.xml file, where $POLYSPACE is the location you have installed Polyspace,

e.g. C:\Program Files\Polyspace\R2019a\VersionInfo.xml or /usr/local/Polyspace/R2019a/VersionInfo.xml

The file should contain the Update level formatted as below:

"_<description>Update X</description>_"