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

[Frama-c-discuss] why-2.24 install question



> 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