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