equal
deleted
inserted
replaced
96 quickcheck[tester = predicate_compile_ff_fs] |
96 quickcheck[tester = predicate_compile_ff_fs] |
97 oops*) |
97 oops*) |
98 oops |
98 oops |
99 |
99 |
100 |
100 |
101 setup {* Context.theory_map (Quickcheck.add_generator ("prolog", Code_Prolog.quickcheck)) *} |
101 setup {* Context.theory_map (Quickcheck.add_tester ("prolog", (Code_Prolog.active, Code_Prolog.test_goals))) *} |
102 |
102 |
103 setup {* Code_Prolog.map_code_options (K |
103 setup {* Code_Prolog.map_code_options (K |
104 {ensure_groundness = true, |
104 {ensure_groundness = true, |
105 limit_globally = NONE, |
105 limit_globally = NONE, |
106 limited_types = [(@{typ Sym}, 0), (@{typ "Sym list"}, 2), (@{typ RE}, 6)], |
106 limited_types = [(@{typ Sym}, 0), (@{typ "Sym list"}, 2), (@{typ RE}, 6)], |