equal
deleted
inserted
replaced
21 end; |
21 end; |
22 |
22 |
23 structure Narrowing_Generators : NARROWING_GENERATORS = |
23 structure Narrowing_Generators : NARROWING_GENERATORS = |
24 struct |
24 struct |
25 |
25 |
26 val narrowing_plugin = "narrowing" |
26 val narrowing_plugin = "quickcheck_narrowing" |
27 |
27 |
28 (* configurations *) |
28 (* configurations *) |
29 |
29 |
30 val allow_existentials = Attrib.setup_config_bool @{binding quickcheck_allow_existentials} (K true) |
30 val allow_existentials = Attrib.setup_config_bool @{binding quickcheck_allow_existentials} (K true) |
31 val finite_functions = Attrib.setup_config_bool @{binding quickcheck_finite_functions} (K true) |
31 val finite_functions = Attrib.setup_config_bool @{binding quickcheck_finite_functions} (K true) |