equal
deleted
inserted
replaced
51 fun yices () = { |
51 fun yices () = { |
52 name = "yices", |
52 name = "yices", |
53 env_var = "YICES_SOLVER", |
53 env_var = "YICES_SOLVER", |
54 is_remote = false, |
54 is_remote = false, |
55 options = (fn ctxt => [ |
55 options = (fn ctxt => [ |
56 "--rand-seed", string_of_int (Config.get ctxt SMT_Config.random_seed), |
56 "--rand-seed=" ^ string_of_int (Config.get ctxt SMT_Config.random_seed), |
57 "--smtlib"]), |
57 "--smtlib"]), |
58 class = SMTLIB_Interface.smtlibC, |
58 class = SMTLIB_Interface.smtlibC, |
59 outcome = on_first_line (outcome_of "unsat" "sat" "unknown"), |
59 outcome = on_first_line (outcome_of "unsat" "sat" "unknown"), |
60 cex_parser = NONE, |
60 cex_parser = NONE, |
61 reconstruct = NONE, |
61 reconstruct = NONE, |