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

[Frama-c-discuss] examples




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                    |