--- layout: fc_discuss_archives title: Message 35 from Frama-C-discuss on April 2010 ---
> the hello.c is really just a trivial example for testing > #include <stdio.h> > > void foo(void) > { > ? ? ? ?printf("hello,world\n"); The notion of "trivial" is relative. Your example includes standard headers that contain horrible stuff, and calls a variadic function. Jessie behaved as well as you can expect on your example: your installation is fine. I put a reading list on http://flolac.iis.sinica.edu.tw/flolac10/doku.php?id=en:frama-c May I suggest you try the examples from one of the documentation dependency chain in order? (I will update this page soon to refer to new versions of Frama-C, Why/Jessie, and ACSL by Example) Pascal