--- layout: fc_discuss_archives title: Message 87 from Frama-C-discuss on May 2010 ---
Hi, 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. 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. Thanks. Youssef