- 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.
- 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.
How to open polyspace R2016b project in polyspace R2012 b version?
1 visualizzazione (ultimi 30 giorni)
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)
Alexandre De Barros il 5 Dic 2018
Code Verification Polyspace Code Prover Review Analysis Results Review Polyspace Code Prover Results in Polyspace User Interface Reports and Metrics Generate Reports