projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 014ff8c)
Exclude competition build for issue8377-resolve-indexed.smt2. (#8468)
authorMathias Preiner <mathias.preiner@gmail.com>
Wed, 30 Mar 2022 23:04:16 +0000 (16:04 -0700)
committerGitHub <noreply@github.com>
Wed, 30 Mar 2022 23:04:16 +0000 (23:04 +0000)
Fixes the nightly competition builds.

test/regress/cli/regress0/parser/issue8377-resolve-indexed.smt2 patch | blob | history

diff --git a/test/regress/cli/regress0/parser/issue8377-resolve-indexed.smt2 b/test/regress/cli/regress0/parser/issue8377-resolve-indexed.smt2
index f20d21291614c868f4a3f3985bd394caf3def110..97cb8121516f0f8ba88ecf67b1c1b5676a373190 100644 (file)
--- 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))