--- layout: fc_discuss_archives title: Message 87 from Frama-C-discuss on May 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] plugin-developer non_zero_divisor 4.14.7 Example



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