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 "generation of code to log memory writes" (presumably because you copied it from logwrites.ml). I suspect that your problem is simply a case issue, where you should pass "--doSimpletest" and not "--dosimpletest" (i.e., you didn't capitalize the 's'). Cheers, legit
------------------------------------------------------------------------------
_______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
