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
