How to open polyspace R2016b project in polyspace R2012 b version?

Hello

please let me know how to open polyspace 2016b projetc in polyspace 2012 b version.

Also could you suggest how to generate synthesis Report in 2016b similar to one we generate in 2012b.

The synthesis file shpuld contain Global Data Dictionary sheet(which contains the list of global variables, W.T, R.T, usage, Detailed type etc)

[madhan ravi]

isn't https://www.mathworks.com/matlabcentral/answers/433671-how-to-generate-the-shared-unprotected-global-variables-list-in-polyspace-r2016b

the same?

[Indraja Naga Sai Boorlagadda]

No , the two questions are

1. How to open Polypace 2016b project in polyspace 2012b .

2. How to create detailed synthesis report in Polspace 2016b which having the same format (list of global variables, W.T, R.T, usage, Detailed type etc) of synthesis report that was generated in the polyspace 2012b

Answer 1

[Alexandre De Barros]

Hello,

1. You can open R2012b project file with Polyspace R2016b, but in the Open File dialog you have to switch to the .cfg extension (see "Files of type") to see your 12b project.
2. the detailed synthesis has been replaced by the Export feature in tsv format. Seehttps://www.mathworks.com/help/releases/R2016b/codeprover/ug/export-results-to-text-file.html. Please note that in 16b the information on global Variables is not exported. You have to use the version R2018a for that. With R2016b, you can generate a report (use the template for Variables) to get the information on global variables.

Best regards,

Alexandre