equal
deleted
inserted
replaced
21 val timing : bool Config.T |
21 val timing : bool Config.T |
22 val quiet : bool Config.T |
22 val quiet : bool Config.T |
23 val timeout : real Config.T |
23 val timeout : real Config.T |
24 val finite_types : bool Config.T |
24 val finite_types : bool Config.T |
25 val finite_type_size : int Config.T |
25 val finite_type_size : int Config.T |
|
26 val set_active_testers: string list -> Context.generic -> Context.generic |
26 datatype expectation = No_Expectation | No_Counterexample | Counterexample; |
27 datatype expectation = No_Expectation | No_Counterexample | Counterexample; |
27 datatype test_params = Test_Params of {default_type: typ list, expect : expectation}; |
28 datatype test_params = Test_Params of {default_type: typ list, expect : expectation}; |
28 val test_params_of : Proof.context -> test_params |
29 val test_params_of : Proof.context -> test_params |
29 val map_test_params : (typ list * expectation -> typ list * expectation) |
30 val map_test_params : (typ list * expectation -> typ list * expectation) |
30 -> Context.generic -> Context.generic |
31 -> Context.generic -> Context.generic |