equal
deleted
inserted
replaced
14 (("revP", "limited_revP"), "quickcheck"), |
14 (("revP", "limited_revP"), "quickcheck"), |
15 (("appendP", "limited_appendP"), "lim_revP")], |
15 (("appendP", "limited_appendP"), "lim_revP")], |
16 manual_reorder = []}) *} |
16 manual_reorder = []}) *} |
17 |
17 |
18 lemma "(xs :: nat list) = ys @ ys --> rev xs = xs" |
18 lemma "(xs :: nat list) = ys @ ys --> rev xs = xs" |
19 quickcheck[generator = code, iterations = 10000] |
19 quickcheck[tester = random, iterations = 10000] |
20 quickcheck[generator = predicate_compile_wo_ff, iterations = 1, expect = counterexample] |
20 quickcheck[tester = predicate_compile_wo_ff, iterations = 1, expect = counterexample] |
21 quickcheck[generator = prolog, expect = counterexample] |
21 quickcheck[tester = prolog, expect = counterexample] |
22 oops |
22 oops |
23 |
23 |
24 end |
24 end |