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