Skip parse-error regression for comp builds (#4567)

Fixes nightlies. Competition builds do not report parsing errors like
other builds. As a result, one of the regression tests that is testing
for parse errors was failing for competition builds. In this particular
example, we just report `unknown`. This commit marks the regression to
be skipped for competition builds.

diff --git a/test/regress/regress0/quantifiers/issue4437-unc-quant.smt2 b/test/regress/regress0/quantifiers/issue4437-unc-quant.smt2
index 61f7929992b2381d6cde9c4fd853df40039122c5..5dd51dc0c1ef01fd627d668a597423367fe4e466 100644 (file)
--- a/test/regress/regress0/quantifiers/issue4437-unc-quant.smt2
+++ b/test/regress/regress0/quantifiers/issue4437-unc-quant.smt2
@@ -1,4 +1,6 @@
-; EXPECT: (error "Parse Error: issue4437-unc-quant.smt2:6.15: Quantifier used in non-quantified logic.")
+; REQUIRES: no-competition
+; EXPECT: Quantifier used in non-quantified logic
+; SCRUBBER: grep -o "Quantifier used in non-quantified logic"
 ; EXIT: 1
 (set-logic QF_AUFBVLIA)
 (declare-fun a () (_ BitVec 8))