LinkData.xml after polyspace analysis

2020 12 15
1 个回答
回答已采纳
更新时间：2020 12 16
5 次查看（30 天）

0 个投票

What are preconditions to generate linkData.xml after polyspace verification. In which case this file will not be generated.

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

 采纳的回答

0 个投票

The file linksData.xml is generated if you run Polyspace analysis on generated code from Simulink. You can also run the function polyspacePackNGo to create a zipped archive containing the generated code and this file (for running Polyspace on another machine). See Run Polyspace Analysis on Generated Code by Using Packaged Options Files.

更多回答（0 个）

类别

在 帮助中心 和 File Exchange 中查找有关 Code Prover Analysis in Polyspace Platform User Interface 的更多信息

标签

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by