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

11 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)


Find more on Troubleshooting in Polyspace Products for Ada 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!