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 ?
采纳的回答
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}"
}
}
]
}
更多回答（1 个）
类别
在 帮助中心 和 File Exchange 中查找有关 Polyspace Code Prover 的更多信息
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!
Translated by 
