plugin/parameters.ml

   1
   2 (** Parameters *)
   3 let remove_casts_in_annotations = true
   4 let put_const_at_the_top_in_annotations = true
   5
   6 (** Less precise cost *)
   7 let no_division_in_generated_variant = false
   8
   9 (** name of the behavior generated *)
  10 let time_cost_behavior = "time_cost"
  11
  12 (** name of the behavior generated *)
  13 let stack_cost_behavior = "stack_cost"
  14
  15
  16 (*** Debug flag ***)
  17
  18 let debug = ref false
  19
  20
  21
  22
  23