--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on January 2017 ---
As a minor remark, I'd suggest replacing `-cpp-command` with `-cpp-extra-args`, e.g. in your example `-cpp-extra-args="-I ${CSMITH_HOME}/runtime -Dvolatile= "` might be sufficient. -cpp-command should only be necessary when using a preprocessor other than GCC or Clang. -cpp-extra-args is a more recent option, hence why it is not always mentioned in old tutorials and blog posts. On 10/01/2017 01:01, Faraz Hussain wrote: > [note] I am using Silicon-20161101, on Ubuntu 16.04. The command > executed is: /frama-c -metrics -metrics-libc -cpp-command "gcc -C > -Dvolatile= -E -I ${CSMITH_HOME}/runtime" -machdep x86_64 wrong25.c/ -- André Maroneze Ingénieur-chercheur CEA/LIST Laboratoire Sûreté et Sécurité des Logiciels -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20170110/32ecab63/attachment.html> -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 3797 bytes Desc: S/MIME Cryptographic Signature URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20170110/32ecab63/attachment.bin>