Azzera filtri
Azzera filtri

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

3 visualizzazioni (ultimi 30 giorni)
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 ?

Risposta accettata

Anirban
Anirban il 9 Ago 2022
Modificato: Anirban il 10 Ago 2022
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}"
}
}
]
}

Più risposte (1)

Horst Dreßel
Horst Dreßel il 10 Ago 2022
ok, thank you for your explanation

Prodotti


Release

R2022a

Community Treasure Hunt

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

Start Hunting!

Translated by