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

1 visualizzazione (ultimi 30 giorni)
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.

Risposta accettata

Anirban il 9 Set 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.
  4 Commenti
David Delarue
David Delarue il 5 Dic 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:

Accedi per commentare.

Più risposte (0)




Community Treasure Hunt

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

Start Hunting!

Translated by