disable magic set tests until rewritten

souffle-lang · Jul 17, 2020 · 3b8bc69 · 3b8bc69
1 parent f7b6abe
commit 3b8bc69
Show file tree

Hide file tree

Showing 2 changed files with 24 additions and 22 deletions.
diff --git a/tests/evaluation.at b/tests/evaluation.at
@@ -59,26 +59,27 @@ POSITIVE_TEST([inline_records],[evaluation])
 POSITIVE_TEST([inline_underscore],[evaluation])
 POSITIVE_TEST([inline_unification],[evaluation])
 POSITIVE_TEST([list],[evaluation])
-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])
+# 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])

diff --git a/tests/fastevaluation.at b/tests/fastevaluation.at
@@ -33,8 +33,9 @@ POSITIVE_TEST([inline_records],[evaluation])
 POSITIVE_TEST([inline_underscore],[evaluation])
 POSITIVE_TEST([inline_unification],[evaluation])
 POSITIVE_TEST([list],[evaluation])
-POSITIVE_TEST([magic_2sat],[evaluation])
-POSITIVE_TEST([magic_aggregates],[evaluation])
+# TODO (#1491 disable until magic set is rewritten)
+# POSITIVE_TEST([magic_2sat],[evaluation])
+# POSITIVE_TEST([magic_aggregates],[evaluation])
 POSITIVE_TEST([match3],[evaluation])
 POSITIVE_TEST([mutrecursion],[evaluation])
 POSITIVE_TEST([neg5],[evaluation])