LinkData.xml after polyspace analysis
1 回表示 (過去 30 日間)
古いコメントを表示
Darshan Gade
2020 年 12 月 15 日
コメント済み: Darshan Gade
2020 年 12 月 16 日
What are preconditions to generate linkData.xml after polyspace verification. In which case this file will not be generated.
0 件のコメント
採用された回答
Anirban Gangopadhyay
2020 年 12 月 16 日
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 件)
参考
カテゴリ
Help Center および File Exchange で Troubleshooting in Polyspace Products for Ada についてさらに検索
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!