Open Polyspace R2016a results in R2015a

Question

Mark R 2017-2-21

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/326102-open-polyspace-r2016a-results-in-r2015a

评论： Mark R 2017-2-28

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:

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

请先登录，再进行评论。

请先登录，再回答此问题。

Answer 1

Alexandre De Barros 2017-2-28

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/326102-open-polyspace-r2016a-results-in-r2015a#answer_256625

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