How to generate Polyspace project options into a text file from an already existing Polyspace project in Polyspace Code Prover 2016b?
4 visualizaciones (últimos 30 días)
Mostrar comentarios más antiguos
Imran Ahmed
el 8 de Ag. de 2019
Comentada: Imran Ahmed
el 23 de Ag. de 2019
Can anyone please specify the syntax, how and where to use the command to do the above specified function.
0 comentarios
Respuesta aceptada
Alexandre De Barros
el 23 de Ag. de 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
Más respuestas (0)
Ver también
Categorías
Más información sobre Generate Report en Help Center y File Exchange.
Productos
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!