1 theory Quickcheck_Nesting_Example
2 imports Quickcheck_Nesting
3 begin
4
5 datatype x = X "x list"
6
7 lemma "X a = X b"
8 quickcheck[exhaustive, size = 4, expect = counterexample]
9 oops
10
11 end