In Polyspace version 2016B.How to generate Intermediate files(.CI)

Hello Team, I was tried to see the intermediate file after pre processing stage.But some times these files are generating and some times not generating.Do I need to enable any feature for doing this job in Polyspace code prover. version details:MATLAB Version: 9.1.0.441655 (R2016b)

Answer 1

[Alexandre De Barros]

Hello,

You can use the command-line option named "-keep-relaunch-files" for that.

When this option is set, Polyspace will generate the files required to relaunch a verification/analysis, including the expanded source files, in the subfolder named .relaunch. And in this folder, the CI files can be found in the file ci.zip.

If you're using the graphical interface, the option -keep-relaunch-files has to be entered in the field "Other" (Advanced Settings).

NB: Since this option is used to create the relaunch files, the verification/analysis will stop at the end of the compilation phase, and then will produce no results.

Alex