Azzera filtri
Azzera filtri

How to generate Polyspace project options into a text file from an already existing Polyspace project in Polyspace Code Prover 2016b?

4 visualizzazioni (ultimi 30 giorni)
Can anyone please specify the syntax, how and where to use the command to do the above specified function.

Risposta accettata

Alexandre De Barros
Alexandre De Barros il 23 Ago 2019
there is no way to convert a .psprj to a text options so to speak, but if you go one of the results folder of your project, then into the subfolder .settings, you will find the file options_command.txt. This text file contains the options of the project.
Best regards,
  1 Commento
Imran Ahmed
Imran Ahmed il 23 Ago 2019
Thanks Alexandre for your answer. My only problem with the way you've suggested is the options might change from one result to another, thus making the options_command.txt obsolete.

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