--- a/src/Tools/quickcheck.ML Tue Feb 21 11:25:48 2012 +0100
+++ b/src/Tools/quickcheck.ML Tue Feb 21 12:20:33 2012 +0100
@@ -19,13 +19,14 @@
val depth : int Config.T
val no_assms : bool Config.T
val report : bool Config.T
+ val timeout : real Config.T
val timing : bool Config.T
val genuine_only : bool Config.T
val abort_potential : bool Config.T
val quiet : bool Config.T
val verbose : bool Config.T
- val timeout : real Config.T
- val allow_function_inversion : bool Config.T;
+ val use_subtype : bool Config.T
+ val allow_function_inversion : bool 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
@@ -177,11 +178,16 @@
val no_assms = Attrib.setup_config_bool @{binding quickcheck_no_assms} (K false)
val report = Attrib.setup_config_bool @{binding quickcheck_report} (K true)
val timing = Attrib.setup_config_bool @{binding quickcheck_timing} (K false)
+val timeout = Attrib.setup_config_real @{binding quickcheck_timeout} (K 30.0)
+
val genuine_only = Attrib.setup_config_bool @{binding quickcheck_genuine_only} (K false)
val abort_potential = Attrib.setup_config_bool @{binding quickcheck_abort_potential} (K false)
+
val quiet = Attrib.setup_config_bool @{binding quickcheck_quiet} (K false)
val verbose = Attrib.setup_config_bool @{binding quickcheck_verbose} (K false)
-val timeout = Attrib.setup_config_real @{binding quickcheck_timeout} (K 30.0)
+
+val use_subtype = Attrib.setup_config_bool @{binding quickcheck_use_subtype} (K false)
+
val allow_function_inversion =
Attrib.setup_config_bool @{binding quickcheck_allow_function_inversion} (K false)
val finite_types = Attrib.setup_config_bool @{binding quickcheck_finite_types} (K true)
@@ -438,6 +444,7 @@
| parse_test_param ("abort_potential", [arg]) = apsnd (Config.put_generic abort_potential (read_bool arg))
| parse_test_param ("quiet", [arg]) = apsnd (Config.put_generic quiet (read_bool arg))
| parse_test_param ("verbose", [arg]) = apsnd (Config.put_generic verbose (read_bool arg))
+ | parse_test_param ("use_subtype", [arg]) = apsnd (Config.put_generic use_subtype (read_bool arg))
| parse_test_param ("timeout", [arg]) = apsnd (Config.put_generic timeout (read_real arg))
| parse_test_param ("finite_types", [arg]) = apsnd (Config.put_generic finite_types (read_bool arg))
| parse_test_param ("allow_function_inversion", [arg]) =