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.
switching fast compilation off by default for now in exhaustive quickcheck
authorbulwahn
Fri, 08 Apr 2011 16:31:14 +0200
changeset 42313 d0bea229a9ce
parent 42312 5bf3b9612e43
child 42314 8dfb7878a351
switching fast compilation off by default for now in exhaustive quickcheck
src/HOL/Tools/Quickcheck/exhaustive_generators.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Quickcheck/exhaustive_generators.ML	Fri Apr 08 16:31:14 2011 +0200
+++ b/src/HOL/Tools/Quickcheck/exhaustive_generators.ML	Fri Apr 08 16:31:14 2011 +0200
@@ -32,7 +32,7 @@
   Attrib.config_bool "quickcheck_smart_quantifier" (K true)
 
 val (fast, setup_fast) =
-  Attrib.config_bool "quickcheck_fast" (K true)
+  Attrib.config_bool "quickcheck_fast" (K false)
   
 val (full_support, setup_full_support) =
   Attrib.config_bool "quickcheck_full_support" (K true)
isabelle