diff --git a/tests/evaluation.at b/tests/evaluation.at index 93ad78526bf..74e15627cda 100644 --- 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 index 63117756837..91bc175f84a 100644 --- 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])