Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
make experimental "Z3 ATP" work on Linux as well
authorblanchet
Tue, 15 Feb 2011 18:32:58 +0100
changeset 41766 26dab6eca1c2
parent 41765 d323edd12b50
child 41767 44b2a0385001
make experimental "Z3 ATP" work on Linux as well
src/HOL/Tools/ATP/atp_systems.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP/atp_systems.ML	Tue Feb 15 10:03:10 2011 +0100
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Tue Feb 15 18:32:58 2011 +0100
@@ -237,7 +237,7 @@
   {exec = ("Z3_HOME", "z3"),
    required_execs = [],
    arguments = fn _ => fn timeout => fn _ =>
-     "MBQI=true /p /t:" ^ string_of_int (to_secs 0 timeout),
+     "MBQI=true -p -t:" ^ string_of_int (to_secs 0 timeout),
    has_incomplete_mode = false,
    proof_delims = [],
    known_failures =
isabelle