# HG changeset patch
# User bulwahn
# Date 1322641262 -3600
# Node ID ac1651b08da218d24e2fefbfbc71d78efc5fe541
# Parent  a61510361b8908e1f7b969e7ab0b4daaeb817b7a
adding quickcheck's potential configuration

diff -r a61510361b89 -r ac1651b08da2 src/Tools/quickcheck.ML
--- a/src/Tools/quickcheck.ML	Tue Nov 29 22:45:21 2011 +0100
+++ b/src/Tools/quickcheck.ML	Wed Nov 30 09:21:02 2011 +0100
@@ -20,6 +20,7 @@
   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;
@@ -170,6 +171,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 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 =