From: Gereon Kremer <gkremer@stanford.edu>
Date: Mon, 6 Dec 2021 20:30:53 +0000 (-0800)
Subject: Disable option regression for competition build (#7751)
X-Git-Tag: cvc5-1.0.0~722
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=59b197e0b23f9d0b18c59b016cc8db921f736f55;p=cvc5.git

Disable option regression for competition build (#7751)

This disables a regression that checks the didyoumean output for an invalid output on competition builds. On competition builds, we simply print "unknown" instead of shown any exceptions.
---

diff --git a/test/regress/regress0/options/didyoumean.smt2 b/test/regress/regress0/options/didyoumean.smt2
index d95c1bde9..100e1e6fb 100644
--- a/test/regress/regress0/options/didyoumean.smt2
+++ b/test/regress/regress0/options/didyoumean.smt2
@@ -1,3 +1,4 @@
+; REQUIRES: no-competition
 ; COMMAND-LINE: --input-agnuage
 ; ERROR-SCRUBBER: grep -o "--[a-zA-Z-]+"
 ; ERROR-EXPECT: --input-language