--- layout: fc_discuss_archives title: Message 91 from Frama-C-discuss on May 2010 ---
Hello, youssef hassoun a ?crit : > Trying to compile the non_zero_divisor example, the > "create_syntactic_check_project" does not compile: > "Error: Unbound class Syntactic_check.non_zero_divisor". > > Surely, I missing something here. No you don't. This example is out of date. That has been discussed on this list 2 weeks ago. See here for details and an up-to-date version: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2010-May/001986.html. > On the other hand, how to run this code (once the problem of creating a > project is solved) on a c-program and generating the required assertion > in the resulting code. As explained in the mentionned mail, you may use the Frama-C option -load-script. Hope this helps, Julien Signoles