--- layout: fc_discuss_archives title: Message 14 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



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