From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Wed, 15 Jun 2022 20:53:41 +0000 (-0700)
Subject: Disable parser regression for competition builds (#8884)
X-Git-Tag: cvc5-1.0.1~51
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=862dc352738cf0c8004bf478a5715914d45ce8d6;p=cvc5.git

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.
---

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)