--- a/src/HOL/Mutabelle/lib/Tools/mutabelle Thu Feb 16 09:18:20 2012 +0100
+++ b/src/HOL/Mutabelle/lib/Tools/mutabelle Thu Feb 16 09:18:21 2012 +0100
@@ -92,7 +92,7 @@
mkdir -p "$MUTABELLE_OUTPUT_PATH"
echo "theory Mutabelle_Test
-imports \"~~/src/HOL/Library/Quickcheck_Narrowing\" $MUTABELLE_IMPORTS
+imports $MUTABELLE_IMPORTS
uses
\"$MUTABELLE_HOME/mutabelle.ML\"
\"$MUTABELLE_HOME/mutabelle_extra.ML\"
@@ -150,12 +150,13 @@
}
mk_stat "quickcheck_random"
+mk_stat "quickcheck_random_int"
mk_stat "quickcheck_exhaustive"
-mk_stat "quickcheck_exhaustive_no_finite_types"
+mk_stat "quickcheck_exhaustive_int"
mk_stat "quickcheck_narrowing"
-mk_stat "quickcheck_narrowing_no_finite_types"
+mk_stat "quickcheck_narrowing_int"
mk_stat "quickcheck_narrowing_nat"
-mk_stat "refute"
+##mk_stat "refute"
mk_stat "nitpick"
## cleanup