[Z3] set timeout of solving

prosyslab · Apr 24, 2024 · d7294ed · d7294ed
1 parent d72b50c
commit d7294ed
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/z3env.ml b/src/z3env.ml
@@ -81,6 +81,7 @@ let mk_fixedpoint z3ctx =
   Z3.Params.add_bool param
     (mk_string_symbol "datalog.generate_explanations")
     true;
+  Z3.Params.add_int param (mk_string_symbol "datalog.timeout") 90000;
   Z3.Params.add_bool param (mk_string_symbol "spacer.elim_aux") false;
   Z3.Params.add_bool param (mk_string_symbol "xform.slice") false;
   Z3.Params.add_bool param (mk_string_symbol "xform.inline_linear") false;