src/HOL/Predicate_Compile_Examples/List_Examples.thy
changeset 40924 a9be7f26b4e6
parent 40137 9eabcb1bfe50
child 41413 64cd30d6b0b8
     1.1 --- a/src/HOL/Predicate_Compile_Examples/List_Examples.thy	Fri Dec 03 08:40:47 2010 +0100
     1.2 +++ b/src/HOL/Predicate_Compile_Examples/List_Examples.thy	Fri Dec 03 08:40:47 2010 +0100
     1.3 @@ -16,9 +16,9 @@
     1.4     manual_reorder = []}) *}
     1.5  
     1.6  lemma "(xs :: nat list) = ys @ ys --> rev xs = xs"
     1.7 -quickcheck[generator = code, iterations = 10000]
     1.8 -quickcheck[generator = predicate_compile_wo_ff, iterations = 1, expect = counterexample]
     1.9 -quickcheck[generator = prolog, expect = counterexample]
    1.10 +quickcheck[tester = random, iterations = 10000]
    1.11 +quickcheck[tester = predicate_compile_wo_ff, iterations = 1, expect = counterexample]
    1.12 +quickcheck[tester = prolog, expect = counterexample]
    1.13  oops
    1.14  
    1.15  end
    1.16 \ No newline at end of file