Hi:
Run the command:
"cilly --help"
If you've properly added your feature, then in the output you should see the
following line:
"--doSimpletest [fd_description]"
Where fd_description is the value of the fd_description member of the
feature record in your code. In your example, it would be "g
Hello all,
I am completely new to Cil and as a first step I was trying to add a simple
module as a feature to cil.
I did the following:
My module is
simpletest.ml
open Pretty
open Cil
let rec fact n = if n < 2 then 1 else n * fact(n-1)
let doIt n = fact n
let feature : featureDescr =
{ fd_n
