Project

General

Profile

Revision a0c92fa8 src/options.ml

View differences:

src/options.ml
29 29
let witnesses = ref false
30 30
let optimization = ref 2
31 31
let lusi = ref false
32
let print_nodes = ref false
32 33
let print_reuse = ref false
33 34
let const_unfold = ref false
34 35
let mpfr = ref false

Also available in: Unified diff