Is there any way to keep preprocessed files after successful compilation?

Hello,

I want to keep the preprocessed files found in ALL and C-ALL folder after successful compilation. is there any way to do this using windows cmd command in polyspace code prover gui. if no how can i do it?

Note I'm using polyspace code prover R2016b GUI

Answer 1

[Alexandre De Barros]

Hello,

You can use the option -keep-all-files.

If you're using the command line, this is just an option to add to your list of options.

If you're using the UI, then you have to enter it in the field Other (see Advanced Settings in the Configuration pane).

Best regards,

Alexandre