__packed in polyspace code prover
6 visualizzazioni (ultimi 30 giorni)
Mostra commenti meno recenti
srinivasan kandaswamy
il 15 Ott 2015
Commentato: srinivasan kandaswamy
il 16 Ott 2015
Hello, Getting error identifier "__packed" is undefined in polyspace code prover. How to solve this?
Thanks and Regards, Srinivasan K.
0 Commenti
Risposta accettata
Alexandre De Barros
il 15 Ott 2015
Hello,
The easiest way for Polyspace to ignore this extra keyword is to define a macro like this:
__packed=
You add it as a usual macro to your Polyspace project, the difference with a usual macro being that this one ends with an = sign. By doing this, the Polyspace preprocessor will replace the keyword __packed by nothing. Hence the keyword will be actually ignored in the code verification.
Regards,
Alex
Più risposte (0)
Vedere anche
Categorie
Scopri di più su Troubleshooting in Polyspace Products for Ada in Help Center e File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!