From c0c088b7a1a5e3f75467c494de679cb86903f9a1 Mon Sep 17 00:00:00 2001 From: Petar Maksimovic Date: Fri, 27 Sep 2024 12:41:35 +0100 Subject: [PATCH] adding tests to booster-dev ignore until booster improves indeterminate rule matching --- tests/failing-symbolic.haskell-booster-dev | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/tests/failing-symbolic.haskell-booster-dev b/tests/failing-symbolic.haskell-booster-dev index a3ab6a12db..70cd716094 100644 --- a/tests/failing-symbolic.haskell-booster-dev +++ b/tests/failing-symbolic.haskell-booster-dev @@ -135,4 +135,8 @@ tests/specs/mcd-structured/flopper-tick-pass-rough-spec.k tests/specs/mcd-structured/functional-spec.k tests/specs/mcd-structured/pot-join-pass-rough-spec.k tests/specs/mcd-structured/vow-fess-fail-rough-spec.k -tests/specs/mcd-structured/vow-flog-fail-rough-spec.k \ No newline at end of file +tests/specs/mcd-structured/vow-flog-fail-rough-spec.k +tests/specs/mcd/dai-adduu-fail-rough-spec.k +tests/specs/mcd/dai-adduu-fail-rough-spec.k +tests/specs/mcd-structured/dai-adduu-fail-rough-spec.k +tests/specs/mcd-structured/flipper-addu48u48-fail-rough-spec.k \ No newline at end of file