LinkData.xml after polyspace analysis
Mostrar comentarios más antiguos
What are preconditions to generate linkData.xml after polyspace verification. In which case this file will not be generated.
Respuesta aceptada
Anirban Gangopadhyay
el 16 de Dic. de 2020
0 votos
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.
1 comentario
Darshan Gade
el 16 de Dic. de 2020
Más respuestas (0)
Categorías
Más información sobre Polyspace Code Prover en Centro de ayuda y File Exchange.
el 15 de Dic. de 2020
el 16 de Dic. de 2020
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!
Translated by 
