RL installed to run cilly.
>>
>> When writing a new module in src/ext/, the Makefile must be modified,
>> inserting new module names to the module list. Also, the feature
>> description must be inserted to cil.ml. Otherwise, the new module won't
>> be recognized.
>&
erting new module names to the module list. Also, the feature
> description must be inserted to cil.ml. Otherwise, the new module won't
> be recognized.
>
> 2012-04-27
> --
> 林楠
> --
> *发件人：*srikanth vaindam
>
Hi,
I am new to CIL and OCaml. learned little bit of OCaml for CIL.
I installed CIL. used the 'cilly' command and it gave a.out file as output.
*I want to run the reachingdefs.ml on a C file. how to do that.?*
what I am assuming: (are these correct)
1. CIL takes preprocessed (.i) files as input.
