Commit d1d5cdcc authored by Aymeric Varasse's avatar Aymeric Varasse
Browse files

Changed default theory to QF_LRA

parent 6677cf8b
......@@ -25,7 +25,7 @@ let t_cfg input_file theory =
let nier_cfg = Parser.produce_cfg graph in
Printf.printf "NIER CFG build successful\n";
SMT.pp_graph_cfg nier_cfg theory
let theory_v = ref SMT.Float_Theory
let theory_v = ref SMT.Linear_Real_Theory
let output_dir = ref ""
let set_theory s = match s with
| "QF_FP" -> theory_v := SMT.Float_Theory
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment