--- layout: fc_discuss_archives title: Message 35 from Frama-C-discuss on October 2013 ---
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 |