Project

General

Profile

Revision 74ca6b61 src/options.ml

View differences:

src/options.ml
33 33
let const_unfold = ref false
34 34
let mpfr = ref false
35 35
let mpfr_prec = ref 0
36
let print_dec_types = ref false
36 37

  
37 38
let traces = ref false
38 39
let horn_cex = ref false

Also available in: Unified diff