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

1 view (last 30 days)
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?

Accepted Answer

MathWorks Support Team
MathWorks Support Team on 17 Oct 2019
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>_"

More Answers (0)

Tags

No tags entered yet.

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!