--- layout: fc_discuss_archives title: Message 83 from Frama-C-discuss on March 2009 ---
Hello Claude, I've submitted a bug report https://gforge.inria.fr/tracker/index.php?func=detail&aid=7528&group_id=1123&atid=5488 My goal here was to experiment with recursive functions. Spec# was unable to verify the factorial function I posted previously, so I was interested to explore Frama-C's capabilities. - Boris