diff -r 915af80f74b3 -r db693eb03a3f src/Tools/quickcheck.ML
--- a/src/Tools/quickcheck.ML	Tue Feb 14 12:40:55 2012 +0100
+++ b/src/Tools/quickcheck.ML	Tue Feb 14 17:29:53 2012 +0100
@@ -21,6 +21,7 @@
   val report : bool 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
@@ -177,6 +178,7 @@
 val report = Attrib.setup_config_bool @{binding quickcheck_report} (K true)
 val timing = Attrib.setup_config_bool @{binding quickcheck_timing} (K false)
 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)
@@ -433,6 +435,7 @@
   | 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 ("genuine_only", [arg]) = apsnd (Config.put_generic genuine_only (read_bool arg))
+  | 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 ("timeout", [arg]) = apsnd (Config.put_generic timeout (read_real arg))