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.
merged
authorwenzelm
Sat, 23 Jul 2011 23:33:59 +0200
changeset 43954 521de6ab277a
parent 43953 3b69f057ef2e (diff)
parent 43952 318ca53e3fbb (current diff)
child 43955 efc6f0a81c36
child 43967 610efb6bda1f
merged
--- a/src/HOL/Predicate_Compile_Examples/Reg_Exp_Example.thy	Sat Jul 23 22:22:21 2011 +0200
+++ b/src/HOL/Predicate_Compile_Examples/Reg_Exp_Example.thy	Sat Jul 23 23:33:59 2011 +0200
@@ -98,7 +98,7 @@
 oops
 
 
-setup {* Context.theory_map (Quickcheck.add_generator ("prolog", Code_Prolog.quickcheck)) *}
+setup {* Context.theory_map (Quickcheck.add_tester ("prolog", (Code_Prolog.active, Code_Prolog.test_goals))) *}
 
 setup {* Code_Prolog.map_code_options (K 
   {ensure_groundness = true,
isabelle