From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 30 Mar 2022 23:04:16 +0000 (-0700)
Subject: Exclude competition build for issue8377-resolve-indexed.smt2. (#8468)
X-Git-Tag: cvc5-1.0.0~114
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b62070dc7a819b092a27f416349d091ac60bb6e4;p=cvc5.git

Exclude competition build for issue8377-resolve-indexed.smt2. (#8468)

Fixes the nightly competition builds.
---

diff --git a/test/regress/cli/regress0/parser/issue8377-resolve-indexed.smt2 b/test/regress/cli/regress0/parser/issue8377-resolve-indexed.smt2
index f20d21291..97cb81215 100644
--- a/test/regress/cli/regress0/parser/issue8377-resolve-indexed.smt2
+++ b/test/regress/cli/regress0/parser/issue8377-resolve-indexed.smt2
@@ -2,5 +2,6 @@
 ; EXPECT: 're.loop' not declared as a variable
 ; EXIT: 1
 ; DISABLE-TESTER: dump
+; REQUIRES: no-competition
 (set-logic QF_SLIA)
 (assert (re.loop 0))