Open Polyspace R2016a results in R2015a

Hi,

I ran some verifications using R2016a, however the tool mandated by my project is R2015a. I really don't want to go back and write all my justifications again and so I wondered if there was a way to open these results in the older version.

Currently I get an encoding error as seen here:

Answer 1

[Alexandre De Barros]

Hi,

the error message is a consequence of loading results generated with a more recent version than the current product (in this case loading R2016a results with the R2015a product).

The product is not "forward compatible": it is not possible to load results from a more recent version, basically because the format of the results evolve from versions to versions. New kinds of results may appear with new versions, that will then be unknown to older versions.

We guarantee backward-compatibility but not forward compatibility.

Alex

[Mark R]

I feared that might be the case, thank you Alex,