__packed in polyspace code prover
3 Ansichten (letzte 30 Tage)
Ältere Kommentare anzeigen
srinivasan kandaswamy
am 15 Okt. 2015
Kommentiert: srinivasan kandaswamy
am 16 Okt. 2015
Hello, Getting error identifier "__packed" is undefined in polyspace code prover. How to solve this?
Thanks and Regards, Srinivasan K.
0 Kommentare
Akzeptierte Antwort
Alexandre De Barros
am 15 Okt. 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
Weitere Antworten (0)
Siehe auch
Kategorien
Mehr zu Multitasking finden Sie in Help Center und File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!