Project

General

Profile

Revision 3cd040e3 src/options.ml

View differences:

src/options.ml
35 35
let mpfr_prec = ref 100
36 36
let print_dec_types = ref false
37 37

  
38
(* Option to select the expected behavior of integer division: Euclidian or
39
   C. Default C !!! *)
40
let integer_div_euclidean = ref false
41
  
38 42
let traces = ref false
39 43
let horn_cex = ref false
40 44
let horn_query = ref true

Also available in: Unified diff