/
evaluation.at
126 lines (124 loc) · 5.15 KB
/
evaluation.at
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
# Souffle - A Datalog Compiler
# Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved.
# Licensed under the Universal Permissive License v 1.0 as shown at:
# - https://opensource.org/licenses/UPL
# - <souffle root>/licenses/SOUFFLE-UPL.txt
dnl Positive test cases for evaluating Datalog programs
POSITIVE_TEST([access1],[evaluation])
POSITIVE_TEST([access2],[evaluation])
POSITIVE_TEST([access3],[evaluation])
POSITIVE_TEST([aggregates],[evaluation])
POSITIVE_TEST([aggregates2],[evaluation])
POSITIVE_TEST([aggregates3],[evaluation])
POSITIVE_TEST([aggregates4],[evaluation])
POSITIVE_TEST([aggregates5],[evaluation])
POSITIVE_TEST([aggregates6],[evaluation])
POSITIVE_TEST([aggregates_complex],[evaluation])
POSITIVE_TEST([aliases],[evaluation])
POSITIVE_TEST([arithm],[evaluation])
POSITIVE_TEST([average],[evaluation])
POSITIVE_TEST([binop],[evaluation])
POSITIVE_TEST([cat],[evaluation])
POSITIVE_TEST([comp-override1],[evaluation])
POSITIVE_TEST([comp-override2],[evaluation])
POSITIVE_TEST([comp-override3],[evaluation])
POSITIVE_TEST([components1],[evaluation])
POSITIVE_TEST([components2],[evaluation])
POSITIVE_TEST([components3],[evaluation])
POSITIVE_TEST([components],[evaluation])
POSITIVE_TEST([components_generic],[evaluation])
POSITIVE_TEST([contains],[evaluation])
POSITIVE_TEST([count],[evaluation])
POSITIVE_TEST([count_sccs1],[evaluation])
POSITIVE_TEST([counter],[evaluation])
POSITIVE_TEST([cprog1],[evaluation])
POSITIVE_TEST([cprog2],[evaluation])
POSITIVE_TEST([cprog3],[evaluation])
POSITIVE_TEST([cprog4],[evaluation])
POSITIVE_TEST([cprog5],[evaluation])
POSITIVE_TEST([cproject],[evaluation])
POSITIVE_TEST([empty_relations],[evaluation])
POSITIVE_TEST([existential],[evaluation])
POSITIVE_TEST([facts],[evaluation])
POSITIVE_TEST([facts2],[evaluation])
POSITIVE_TEST([float_operations],[evaluation])
POSITIVE_TEST([functor_arity],[evaluation])
POSITIVE_TEST([grammar],[evaluation])
POSITIVE_TEST([hex],[evaluation])
POSITIVE_TEST([independent_body1],[evaluation])
POSITIVE_TEST([independent_body2],[evaluation])
POSITIVE_TEST([index],[evaluation])
POSITIVE_TEST([indirect_negation],[evaluation])
POSITIVE_TEST([inline_functors],[evaluation])
POSITIVE_TEST([inline_negation1],[evaluation])
POSITIVE_TEST([inline_negation2],[evaluation])
POSITIVE_TEST([inline_nqueens],[evaluation])
POSITIVE_TEST([inline_records],[evaluation])
POSITIVE_TEST([inline_underscore],[evaluation])
POSITIVE_TEST([inline_unification],[evaluation])
POSITIVE_TEST([list],[evaluation])
# TODO (#1491 disable until magic set is rewritten)
# POSITIVE_TEST([magic_2sat],[evaluation])
# POSITIVE_TEST([magic_aggregates],[evaluation])
# POSITIVE_TEST([magic_centroids],[evaluation])
# POSITIVE_TEST([magic_circuit_sat],[evaluation])
# POSITIVE_TEST([magic_components],[evaluation])
# POSITIVE_TEST([magic_cprog1],[evaluation])
# POSITIVE_TEST([magic_dfa],[evaluation])
# POSITIVE_TEST([magic_dominance],[evaluation])
# POSITIVE_TEST([magic_factoring],[evaluation])
# POSITIVE_TEST([magic_goal],[evaluation])
# POSITIVE_TEST([magic_lrg_attr_id],[evaluation])
# POSITIVE_TEST([magic_movies],[evaluation])
# POSITIVE_TEST([magic_names1],[evaluation])
# POSITIVE_TEST([magic_nqueens],[evaluation])
# POSITIVE_TEST([magic_perfect_numbers],[evaluation])
# POSITIVE_TEST([magic_records4],[evaluation])
# POSITIVE_TEST([magic_samegen],[evaluation])
# POSITIVE_TEST([magic_strategies],[evaluation])
# POSITIVE_TEST([magic_string_substr],[evaluation])
# POSITIVE_TEST([magic_turing1],[evaluation])
POSITIVE_TEST([match2],[evaluation])
POSITIVE_TEST([match3],[evaluation])
POSITIVE_TEST([match],[evaluation])
# TODO (see issue #298) POSITIVE_TEST([math], [evaluation])
POSITIVE_TEST([max],[evaluation])
POSITIVE_TEST([minmax],[evaluation])
POSITIVE_TEST([minmaxnum], [evaluation])
POSITIVE_TEST([mrtc],[evaluation])
POSITIVE_TEST([mul],[evaluation])
POSITIVE_TEST([multiple_heads],[evaluation])
POSITIVE_TEST([mutrecursion],[evaluation])
POSITIVE_TEST([neg1],[evaluation])
POSITIVE_TEST([neg2],[evaluation])
POSITIVE_TEST([neg3],[evaluation])
POSITIVE_TEST([neg4],[evaluation])
POSITIVE_TEST([neg5],[evaluation])
POSITIVE_TEST([neg6],[evaluation])
POSITIVE_TEST([number_constants],[evaluation])
POSITIVE_TEST([numeric_binary_constraint_op], [evaluation])
POSITIVE_TEST([numeric_conversions],[evaluation])
POSITIVE_TEST([ordinals],[evaluation])
POSITIVE_TEST([plus],[evaluation])
POSITIVE_TEST([range],[evaluation])
POSITIVE_TEST([rec_lists2],[evaluation])
POSITIVE_TEST([rec_lists],[evaluation])
POSITIVE_TEST([rec_underscore],[evaluation])
POSITIVE_TEST([recursion],[evaluation])
POSITIVE_TEST([relop],[evaluation])
POSITIVE_TEST([rmut2],[evaluation])
POSITIVE_TEST([rmut],[evaluation])
POSITIVE_TEST([set_ops],[evaluation])
POSITIVE_TEST([set_ops_output],[evaluation])
POSITIVE_TEST([simple],[evaluation])
POSITIVE_TEST([singleton],[evaluation])
POSITIVE_TEST([subsumption],[evaluation])
POSITIVE_TEST([subtype2],[evaluation])
POSITIVE_TEST([subtype],[evaluation])
POSITIVE_TEST([sum-aggregate],[evaluation])
POSITIVE_TEST([sum-aggregate2],[evaluation])
POSITIVE_TEST([term],[evaluation])
POSITIVE_TEST([unpacking],[evaluation])
POSITIVE_TEST([unsigned_operations], [evaluation])
POSITIVE_TEST([unused_constraints],[evaluation])
POSITIVE_TEST([x9],[evaluation])