--- layout: fc_discuss_archives title: Message 103 from Frama-C-discuss on February 2012 ---
Le 24/02/2012 20:58, Nguy?n C?nh Th??ng a ?crit : > @to Anne > I'm working with Frama-c Nitrogen in MS window7 environment, > I've tried using -cpp-extra-args... > but It seems Frama-c doesn't work with stdlib.h Sorry, I don't use MS windows... so I cannot help you for that. > It always reports > /stdlib.h: 319:[kernel] user error: syntax error/ Do you know which stdlib.h file is used ? Did you have a look to the line 319 to try to guess what happening ? I cannot help you more: sorry... Anne.