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.
unactivating narrowing-based quickcheck by default
authorbulwahn
Mon, 18 Jul 2011 13:49:26 +0200
changeset 43892 86ede854b4f5
parent 43891 4690f76f327a
child 43893 f3e75541cb78
unactivating narrowing-based quickcheck by default
src/HOL/Tools/Quickcheck/narrowing_generators.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Mon Jul 18 13:48:35 2011 +0200
+++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Mon Jul 18 13:49:26 2011 +0200
@@ -462,7 +462,7 @@
 
 (* setup *)
 
-val active = Attrib.setup_config_bool @{binding quickcheck_narrowing_active} (K true);
+val active = Attrib.setup_config_bool @{binding quickcheck_narrowing_active} (K false);
 
 val setup =
   Code.datatype_interpretation ensure_partial_term_of
isabelle