How can I get the Polyspace version from Polyspace as you Code plugin ?

With VisualStudioCode I can get a list of extension and there versions with the command "code --list-extensions --show-versions", for the Polyspace as you code plugin I got the info "MathWorks.polyspace@4.1.1".

How can i get the reference to the related Polyspace version R202xy ?

Answer 1

[Anirban]

The Polyspace as You Code plugin is in principle decoupled from the Polyspace as You Code analysis engine. You have to use the underlying analysis engine command, that is, polyspace-bug-finder-access, to get the release number.

I am stating a couple of ways to do this:

• In your extension settings, the setting Polyspace Installation Folder (polyspace.analysisEngine.polyspaceInstallationFolder) tells you the path to the Polyspace as You Code installation. The command resides in a subfolder polyspace/bin in the installation folder. You can cd to that subfolder and just run:

polyspace-bug-finder-access -version

• You can add the above command into a Visual Studio Code task, so you can run the task from inside Visual Studio Code. A task that does the job would look like this:

{
    // See https://go.microsoft.com/fwlink/?LinkId=733558
    // for the documentation about the tasks.json format
    "version": "2.0.0",
    "tasks": [
        {
            "label": "Show Polyspace version",
            "type": "shell",
            "command": "polyspace/bin/polyspace-bug-finder-access",
            "windows":{
                "command": "polyspace\\bin\\polyspace-bug-finder-access"
            },
            "args": ["-version"],
            "options": {
                "cwd": "${config:polyspace.analysisEngine.polyspaceInstallationFolder}"
            }
        }
    ]
}

Answer 2

[Horst Dreßel]

ok, thank you for your explanation