parsing_cocci/flag_parsing_cocci.ml

   1 (* uses E rather than A and adds comments indicating the start and end of
   2 each matched term *)
   3
   4 let sgrep_mode = ref false (* no longer supported, subsumed by sgrep2 *)
   5
   6 let show_SP = ref false
   7 let show_iso_failures = ref true
   8
   9 let iso_limit = ref (None : int option) (*(Some 3)*)
  10
  11 let defined_virtual_rules = ref ([] : string list)
  12
  13 let set_defined_virtual_rules s =
  14   defined_virtual_rules := s :: !defined_virtual_rules