equal
deleted
inserted
replaced
18 val iterations : int Config.T |
18 val iterations : int Config.T |
19 val depth : int Config.T |
19 val depth : int Config.T |
20 val no_assms : bool Config.T |
20 val no_assms : bool Config.T |
21 val report : bool Config.T |
21 val report : bool Config.T |
22 val timing : bool Config.T |
22 val timing : bool Config.T |
|
23 val potential : bool Config.T |
23 val quiet : bool Config.T |
24 val quiet : bool Config.T |
24 val timeout : real Config.T |
25 val timeout : real Config.T |
25 val allow_function_inversion : bool Config.T; |
26 val allow_function_inversion : bool Config.T; |
26 val finite_types : bool Config.T |
27 val finite_types : bool Config.T |
27 val finite_type_size : int Config.T |
28 val finite_type_size : int Config.T |
168 val depth = Attrib.setup_config_int @{binding quickcheck_depth} (K 10) |
169 val depth = Attrib.setup_config_int @{binding quickcheck_depth} (K 10) |
169 |
170 |
170 val no_assms = Attrib.setup_config_bool @{binding quickcheck_no_assms} (K false) |
171 val no_assms = Attrib.setup_config_bool @{binding quickcheck_no_assms} (K false) |
171 val report = Attrib.setup_config_bool @{binding quickcheck_report} (K true) |
172 val report = Attrib.setup_config_bool @{binding quickcheck_report} (K true) |
172 val timing = Attrib.setup_config_bool @{binding quickcheck_timing} (K false) |
173 val timing = Attrib.setup_config_bool @{binding quickcheck_timing} (K false) |
|
174 val potential = Attrib.setup_config_bool @{binding quickcheck_potential} (K true) |
173 val quiet = Attrib.setup_config_bool @{binding quickcheck_quiet} (K false) |
175 val quiet = Attrib.setup_config_bool @{binding quickcheck_quiet} (K false) |
174 val timeout = Attrib.setup_config_real @{binding quickcheck_timeout} (K 30.0) |
176 val timeout = Attrib.setup_config_real @{binding quickcheck_timeout} (K 30.0) |
175 val allow_function_inversion = |
177 val allow_function_inversion = |
176 Attrib.setup_config_bool @{binding quickcheck_allow_function_inversion} (K false) |
178 Attrib.setup_config_bool @{binding quickcheck_allow_function_inversion} (K false) |
177 val finite_types = Attrib.setup_config_bool @{binding quickcheck_finite_types} (K true) |
179 val finite_types = Attrib.setup_config_bool @{binding quickcheck_finite_types} (K true) |