--- layout: fc_discuss_archives title: Message 32 from Frama-C-discuss on June 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Problem running frama-c in Windows



Hello,

does first.c compile with gcc? Jessie quits if the source is no correct
c-code.


-- 
Regards,
Boris