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