--- a/src/Tools/quickcheck.ML Mon Dec 05 12:35:58 2011 +0100
+++ b/src/Tools/quickcheck.ML Mon Dec 05 12:36:00 2011 +0100
@@ -20,7 +20,7 @@
val no_assms : bool Config.T
val report : bool Config.T
val timing : bool Config.T
- val potential : bool Config.T
+ val genuine_only : bool Config.T
val quiet : bool Config.T
val timeout : real Config.T
val allow_function_inversion : bool Config.T;
@@ -174,7 +174,7 @@
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 potential = Attrib.setup_config_bool @{binding quickcheck_potential} (K true)
+val genuine_only = Attrib.setup_config_bool @{binding quickcheck_genuine_only} (K false)
val quiet = Attrib.setup_config_bool @{binding quickcheck_quiet} (K false)
val timeout = Attrib.setup_config_real @{binding quickcheck_timeout} (K 30.0)
val allow_function_inversion =
@@ -414,7 +414,7 @@
| parse_test_param ("no_assms", [arg]) = apsnd (Config.put_generic no_assms (read_bool arg))
| parse_test_param ("expect", [arg]) = apsnd (map_test_params ((apsnd o K) (read_expectation arg)))
| parse_test_param ("report", [arg]) = apsnd (Config.put_generic report (read_bool arg))
- | parse_test_param ("potential", [arg]) = apsnd (Config.put_generic potential (read_bool arg))
+ | parse_test_param ("genuine_only", [arg]) = apsnd (Config.put_generic genuine_only (read_bool arg))
| parse_test_param ("quiet", [arg]) = apsnd (Config.put_generic quiet (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))