Polyspace with Simulink: How to change the code generation folder location

4 vues (au cours des 30 derniers jours)
Raphael
Raphael le 1 Sep 2011
Hi,
My code generation folder location is not the current model's directory but another folder I specified: I changed the root folder in which Simulinks Coder puts its generated C files.
Polyspace does not seem to be using the CodeGenFolder parameter to try to find the generated files.
How to do force Polyspace to use my specific folder?
Thanks

Connectez-vous pour répondre à cette question.

Réponse acceptée

Raphael
Raphael le 20 Sep 2011
Mathworks answer: "Indeed PolySpace Model Link R2011a doesn’t allow you to launch a verification for the code you generated in another folder than the current one, which is an enhancement that has been included in the new release R2011b."

Plus de réponses (0)

Catégories

En savoir plus sur Bug Finder Analysis in Simulink dans Help Center et File Exchange

Tags

Produits

Community Treasure Hunt

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

Start Hunting!

Translated by