81 |
81 |
82 setup {* Context.theory_map (Quickcheck.add_generator ("prolog", Code_Prolog.quickcheck)) *} |
82 setup {* Context.theory_map (Quickcheck.add_generator ("prolog", Code_Prolog.quickcheck)) *} |
83 |
83 |
84 setup {* Code_Prolog.map_code_options (K |
84 setup {* Code_Prolog.map_code_options (K |
85 { ensure_groundness = true, |
85 { ensure_groundness = true, |
|
86 limit_globally = NONE, |
86 limited_types = [(@{typ nat}, 1), (@{typ "type"}, 1), (@{typ dB}, 1), (@{typ "type list"}, 1)], |
87 limited_types = [(@{typ nat}, 1), (@{typ "type"}, 1), (@{typ dB}, 1), (@{typ "type list"}, 1)], |
87 limited_predicates = [(["typing"], 2), (["nthel1"], 2)], |
88 limited_predicates = [(["typing"], 2), (["nthel1"], 2)], |
88 replacing = [(("typing", "limited_typing"), "quickcheck"), |
89 replacing = [(("typing", "limited_typing"), "quickcheck"), |
89 (("nthel1", "limited_nthel1"), "lim_typing")], |
90 (("nthel1", "limited_nthel1"), "lim_typing")], |
90 manual_reorder = []}) *} |
91 manual_reorder = []}) *} |