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

[Frama-c-discuss] Frama-c installation issue on Vista?



Hi,

Could you please :

1) tell me which Frama-C version you are using
2) which version of Why
3) and send the file t.jessie/t.jc

?

- Claude

R Metta wrote:
> I have a very simple C file t.c which contains:
>
> int main()
> {
>    int i = 0;
>    return i;
> }
>
> When I run jessie on this, I get the following error:
>
> bash-3.2$ frama-c -jessie-analysis t.c
> Parsing
> [preprocessing] running gcc -C -E -I. -include 
> C:\Frama-C\share\frama-c\jessie\j
> essie_prolog.h -dD t.c
> Cleaning unused parts
> Symbolic link
> Starting semantical analysis
> Starting Jessie translation
> Producing Jessie files in subdir t.jessie
> File t.jessie/t.jc written.
> File t.jessie/t.cloc written.
> Calling Jessie tool in subdir t.jessie
> File "t.jc", line 7, characters 18-19: syntax error
> Jessie subprocess failed:    jessie  -why-opt -split-user-conj  -v -locs 
> t.cloc t.jc
>
> What could be causing this?
>   


-- 
Claude March?                          | tel: +33 1 72 92 59 69           
INRIA Saclay - ?le-de-France           | mobile: +33 6 33 14 57 93 
Parc Orsay Universit?                  | fax: +33 1 74 85 42 29   
4, rue Jacques Monod - B?timent N      | http://www.lri.fr/~marche/
F-91893 ORSAY Cedex                    |