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.
no timeout for Nitrox
authorblanchet
Wed, 13 Jul 2011 22:16:19 +0200
changeset 43809 151288f723dc
parent 43808 8ba759b8caa8
child 43810 efcdaaa1c7d3
no timeout for Nitrox
src/HOL/Tools/Nitpick/nitrox.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Nitpick/nitrox.ML	Wed Jul 13 22:16:19 2011 +0200
+++ b/src/HOL/Tools/Nitpick/nitrox.ML	Wed Jul 13 22:16:19 2011 +0200
@@ -126,7 +126,7 @@
          ("show_consts", "true"),
          ("format", "1000"),
          ("max_potential", "0"),
-         (* ("timeout", "240 s"), *)
+         ("timeout", "none"),
          ("expect", genuineN)]
         |> default_params @{theory}
       val i = 1
isabelle