From 59b197e0b23f9d0b18c59b016cc8db921f736f55 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Mon, 6 Dec 2021 12:30:53 -0800 Subject: [PATCH] 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. --- test/regress/regress0/options/didyoumean.smt2 | 1 + 1 file changed, 1 insertion(+) 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 -- 2.30.2