changeset 45227 | f00a1aee5bc2 |
parent 45165 | f4896c792316 |
child 45386 | cfc8a0661310 |
--- a/src/HOL/Mutabelle/lib/Tools/mutabelle Fri Oct 21 10:32:42 2011 +0200 +++ b/src/HOL/Mutabelle/lib/Tools/mutabelle Fri Oct 21 10:37:03 2011 +0200 @@ -133,8 +133,9 @@ mk_stat "quickcheck_random" mk_stat "quickcheck_exhaustive" -mk_stat "quickcheck_exhaustive_nft" +mk_stat "quickcheck_exhaustive_no_finite_types" mk_stat "quickcheck_narrowing" +mk_stat "quickcheck_narrowing_no_finite_types" mk_stat "quickcheck_narrowing_nat" mk_stat "nitpick"