# HG changeset patch # User bulwahn # Date 1291362047 -3600 # Node ID e8806880819e87de45b08f48876447da39ac6c80 # Parent 45ba9f05583a583757719f43fcf56f948da43709 adding configuration quickcheck_tester diff -r 45ba9f05583a -r e8806880819e src/Tools/quickcheck.ML --- a/src/Tools/quickcheck.ML Fri Dec 03 08:40:47 2010 +0100 +++ b/src/Tools/quickcheck.ML Fri Dec 03 08:40:47 2010 +0100 @@ -10,6 +10,7 @@ (* configuration *) val auto: bool Unsynchronized.ref val timing : bool Unsynchronized.ref + val tester : string Config.T val size : int Config.T val iterations : int Config.T val no_assms : bool Config.T @@ -86,6 +87,7 @@ if expect1 = expect2 then expect1 else No_Expectation (* quickcheck configuration -- default parameters, test generators *) +val (tester, setup_tester) = Attrib.config_string "quickcheck_tester" (K "") val (size, setup_size) = Attrib.config_int "quickcheck_size" (K 10) val (iterations, setup_iterations) = Attrib.config_int "quickcheck_iterations" (K 100) val (no_assms, setup_no_assms) = Attrib.config_bool "quickcheck_no_assms" (K false) @@ -96,8 +98,8 @@ val (finite_type_size, setup_finite_type_size) = Attrib.config_int "quickcheck_finite_type_size" (K 3) val setup_config = - setup_size #> setup_iterations #> setup_no_assms #> setup_report #> setup_quiet #> setup_timeout - #> setup_finite_types #> setup_finite_type_size + setup_tester #> setup_size #> setup_iterations #> setup_no_assms #> setup_report #> setup_quiet + #> setup_timeout #> setup_finite_types #> setup_finite_type_size datatype test_params = Test_Params of {default_type: typ list, expect : expectation};