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.
removing declaration in quickcheck to really enable exhaustive testing
authorbulwahn
Mon, 06 Dec 2010 10:52:45 +0100
changeset 40973 890fefa597af
parent 40972 ce78ef6a909b
child 40974 29e5cae93584
removing declaration in quickcheck to really enable exhaustive testing
src/HOL/Quickcheck.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Quickcheck.thy	Mon Dec 06 10:52:44 2010 +0100
+++ b/src/HOL/Quickcheck.thy	Mon Dec 06 10:52:45 2010 +0100
@@ -129,7 +129,6 @@
 use "Tools/quickcheck_generators.ML"
 setup Quickcheck_Generators.setup
 
-declare [[quickcheck_tester = random]]
 
 subsection {* Code setup *}
isabelle