On Tue, Dec 22, 2009 at 01:02:00AM -0700, ThanhVu (Vu) Nguyen wrote:
>     > What is CIL check ?
>     src/check.ml
> Hi Gabriel,  I want to use the checkFile flag fl  function in check.ml  
> however
> not sure that "flag"  to use.    

[] is just fine (see src/check.mli for documentation).  But you should
really use --check (assuming you are using cilly) and set fd_post_check
to true in your featureDescr, which will invoke checkFile automatically.

Regards,
-- 
Gabriel

------------------------------------------------------------------------------
This SF.Net email is sponsored by the Verizon Developer Community
Take advantage of Verizon's best-in-class app development support
A streamlined, 14 day to market process makes app distribution fast and easy
Join now and get one step closer to millions of Verizon customers
http://p.sf.net/sfu/verizon-dev2dev 
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users

Reply via email to