--- layout: fc_discuss_archives title: Message 68 from Frama-C-discuss on April 2010 ---
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 |