--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on June 2014 ---
Hello, 2014-06-06 21:33, zahra Ziloochi: > i want to install it in windows, i installed frama-c-Boron-20100401.exe, Boron is a very old version (4 years ago!), where have you found it? You'd rather use the latest one. > 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 You should try to understand why there is such a "invalid input" message. Is your platform compiler available? Frama-C is calling platform's compiler pre-processor before doing its on work. Best regards, david