unactivating narrowing-based quickcheck by default
authorbulwahn
Mon Jul 18 13:49:26 2011 +0200 (2011-07-18)
changeset 4389286ede854b4f5
parent 43891 4690f76f327a
child 43893 f3e75541cb78
unactivating narrowing-based quickcheck by default
src/HOL/Tools/Quickcheck/narrowing_generators.ML
     1.1 --- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Mon Jul 18 13:48:35 2011 +0200
     1.2 +++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Mon Jul 18 13:49:26 2011 +0200
     1.3 @@ -462,7 +462,7 @@
     1.4  
     1.5  (* setup *)
     1.6  
     1.7 -val active = Attrib.setup_config_bool @{binding quickcheck_narrowing_active} (K true);
     1.8 +val active = Attrib.setup_config_bool @{binding quickcheck_narrowing_active} (K false);
     1.9  
    1.10  val setup =
    1.11    Code.datatype_interpretation ensure_partial_term_of