--- layout: fc_discuss_archives title: Message 36 from Frama-C-discuss on October 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] examples



Also, the Java example

http://toccata.lri.fr/gallery/GcdJava.en.html

could easily be tranlsated in C

Le 10/10/2013 14:29, Claude March? a ?crit :
> 
> 
> You can find examples either on the gallery
> 
> http://toccata.lri.fr/gallery/frama-c.en.html
> 
> or in the Why sources in dir tests/c and frama-c-plugin/tests/jessie
> 
> I don't remember any file name "euklid.c". Given the k in the name, I
> wonder if it could be find in the collection of examples made by people
> at Franhofer First...
> 
> - Claude
> 
> Le 09/10/2013 19:14, Stephen Siegel a ?crit :
>> I think in older releases of Frama-C there was a directory of nice simple examples (allZeroes.c, euklid.c, find.c, ...) that could be verified with Frama-C+Jessie.  Now I can't find them.   Are these examples somewhere?  Are there other places to look for similar example?
>> Thanks,
>> Steve
>>
>>
>>
>> _______________________________________________
>> Frama-c-discuss mailing list
>> Frama-c-discuss at lists.gforge.inria.fr
>> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
>>
> 

-- 
Claude March?                          | tel: +33 1 72 92 59 69
INRIA Saclay - ?le-de-France           |
Universit? Paris-sud, Bat. 650         | http://www.lri.fr/~marche/
F-91405 ORSAY Cedex                    |