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

1 次查看（过去 30 天）
MathWorks Support Team
回答： MathWorks Support Team 2019-10-17
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?

请先登录，再回答此问题。

采纳的回答

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>_"

更多回答（0 个）

类别

在 Help Center 和 File Exchange 中查找有关 Run Settings 的更多信息

标签

尚未输入任何标签。

Community Treasure Hunt

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

Start Hunting!

Translated by