--- layout: fc_discuss_archives title: Message 91 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



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