Revision 3cd040e3 src/options.ml
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