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

[Frama-c-discuss] frama-c in windows



Hi everybody
I'm new in frama-c . i want to install it in windows, i installed?frama-c-Boron-20100401.exe, but unfortunatly i can't use it. i open it and see user interface , but when i choose a .c file and press new button ?it shows the error "frama-c aborted because of an invalid input..." , but i use the first.c example of frama-c . please help me!
sorry for my elementary problem , but i can't find it any where, the archive is not organised well, it's not possible to search on it.
thanks.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20140606/0886d5e9/attachment.html>