How to generate Polyspace project options into a text file from an already existing Polyspace project in Polyspace Code Prover 2016b?
4 Ansichten (letzte 30 Tage)
Ältere Kommentare anzeigen
Imran Ahmed
am 8 Aug. 2019
Kommentiert: Imran Ahmed
am 23 Aug. 2019
Can anyone please specify the syntax, how and where to use the command to do the above specified function.
0 Kommentare
Akzeptierte Antwort
Alexandre De Barros
am 23 Aug. 2019
Hi,
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,
Alexandre
Weitere Antworten (0)
Siehe auch
Kategorien
Mehr zu Generate Report finden Sie in Help Center und File Exchange
Produkte
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!