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 b540c638b45f3470c6ee135838dcb7929d73f268..d7e293489c5b59e8661e77ad40f76e1a49d6dc0a 100644 (file)
--- 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)