Commit f55a9bb4 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Use the standard input for MathSAT 5.2, as it does not support input files.

parent 1ea2eba1
......@@ -221,7 +221,7 @@ exec = "mathsat-5.2.2"
version_switch = "-version"
version_regexp = "MathSAT5 version \\([^ \n]+\\)"
version_ok = "5.2.2"
command = "%e -input=smt2 -model -random_seed=80 %f"
command = "%e -input=smt2 -model -random_seed=80"
driver = "mathsat"
[ATP simplify]
......
Markdown is supported
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