__packed in polyspace code prover
2 visualizaciones (últimos 30 días)
Mostrar comentarios más antiguos
srinivasan kandaswamy
el 15 de Oct. de 2015
Comentada: srinivasan kandaswamy
el 16 de Oct. de 2015
Hello, Getting error identifier "__packed" is undefined in polyspace code prover. How to solve this?
Thanks and Regards, Srinivasan K.
0 comentarios
Respuesta aceptada
Alexandre De Barros
el 15 de Oct. de 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
Más respuestas (0)
Ver también
Categorías
Más información sobre Multitasking en Help Center y File Exchange.
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!