src/Tools/quickcheck.ML

   val iterations : int Config.T
   val depth : int Config.T
   val no_assms : bool Config.T
   val report : bool Config.T
   val timing : bool Config.T
+  val potential : bool Config.T
   val quiet : bool Config.T
   val timeout : real Config.T
   val allow_function_inversion : bool Config.T;
   val finite_types : bool Config.T
   val finite_type_size : int Config.T

 val depth = Attrib.setup_config_int @{binding quickcheck_depth} (K 10)
 
 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 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 =
   Attrib.setup_config_bool @{binding quickcheck_allow_function_inversion} (K false)
 val finite_types = Attrib.setup_config_bool @{binding quickcheck_finite_types} (K true)