--- a/src/Tools/quickcheck.ML Wed Jul 20 08:16:35 2011 +0200
+++ b/src/Tools/quickcheck.ML Wed Jul 20 08:16:36 2011 +0200
@@ -23,6 +23,7 @@
val timeout : real Config.T
val finite_types : bool Config.T
val finite_type_size : int Config.T
+ val set_active_testers: string list -> Context.generic -> Context.generic
datatype expectation = No_Expectation | No_Counterexample | Counterexample;
datatype test_params = Test_Params of {default_type: typ list, expect : expectation};
val test_params_of : Proof.context -> test_params