Where store PolyspaceAsYouCode Eclipse plugin the general and project related configuration ?

57 views (last 30 days)
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.

Accepted Answer

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
David Delarue on 5 Dec 2022
Hi, the path in the polyspace.prf file must be a valid file URI like:
  • file:/C:/Users/z132038/Polyspace_Workspace
  • instead of file:C:\Users\z132038\Polyspace_Workspace
When this is done the project settings file should be generated here:

Sign in to comment.

More Answers (0)




Community Treasure Hunt

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

Start Hunting!

Translated by