Where store PolyspaceAsYouCode Eclipse plugin the general and project related configuration ?
57 views (last 30 days)
Show older comments
Horst Dreßel on 8 Sep 2022
Commented: David Delarue on 5 Dec 2022
I want to preconfigure a eclipse project from the buildchain and configure the plugin settings "Use baseline from PolyspaceAccess", "AnalysisOptionFile", "CheckersFile", "PolyspaceAccessURL" but I can't found the file where these settings are stored.
Anirban on 9 Sep 2022
The options that you specify through Polyspace > Preferences, such as Polyspace Access URL, are stored in:
(%AppData% is a hidden folder in Windows, which resolves to something like C:\Users\username\AppData\Roaming\)
Among other options, you might be specifying a folder for results through the option Results folder. Or, you might have left the default. In either case, the options that you specify through Polyspace > Configure Project are stored in a subfolder of this results folder.
David Delarue on 5 Dec 2022
Hi, the path in the polyspace.prf file must be a valid file URI like:
- instead of file:C:\Users\z132038\Polyspace_Workspace
When this is done the project settings file should be generated here:
More Answers (0)
Code Verification Polyspace Bug Finder Review Analysis Results Review Polyspace as You Code Results in IDEs Run Polyspace as You Code in Eclipse and Review Results
Find more on Run Polyspace as You Code in Eclipse and Review Results in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!Start Hunting!