0 Stimmen

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

Melden Sie sich an, um diese Frage zu beantworten.

 Akzeptierte Antwort

Anirban Gangopadhyay
Anirban Gangopadhyay am 16 Dez. 2020

0 Stimmen

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.

Weitere Antworten (0)

Kategorien

Mehr zu Code Prover Analysis in Polyspace Platform User Interface finden Sie in Hilfe-Center und File Exchange

Tags

Community Treasure Hunt

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

Start Hunting!

Translated by