From 862dc352738cf0c8004bf478a5715914d45ce8d6 Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Wed, 15 Jun 2022 13:53:41 -0700 Subject: [PATCH] Disable parser regression for competition builds (#8884) Competition builds do not print parser errors. This leads to a Buildbot failure on one of our regressions for the competition build. Thus, this commit changes the failing regression to be skipped for competition builds. --- test/regress/cli/regress0/nl/proj-issue-425.smt2 | 1 + 1 file changed, 1 insertion(+) diff --git a/test/regress/cli/regress0/nl/proj-issue-425.smt2 b/test/regress/cli/regress0/nl/proj-issue-425.smt2 index b540c638b..d7e293489 100644 --- a/test/regress/cli/regress0/nl/proj-issue-425.smt2 +++ b/test/regress/cli/regress0/nl/proj-issue-425.smt2 @@ -1,6 +1,7 @@ ; COMMAND-LINE: --solve-int-as-bv=5524936381719514648 ; ERROR-SCRUBBER: sed -e '.*Error in option parsing.*/d' ; DISABLE-TESTER: dump +; REQUIRES: no-competition ; EXIT: 1 (set-logic QF_NIA) (declare-fun x () Int) -- 2.30.2