Commit 66a013e1 authored by Julien Girard-Satabin's avatar Julien Girard-Satabin
Browse files

changed default theory to QF_LRA

parent 24aa0851
......@@ -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