From: Andres Noetzli Date: Sat, 21 Mar 2020 03:47:53 +0000 (-0700) Subject: Don't run bv_nat parse test with competition build (#4126) X-Git-Tag: cvc5-1.0.0~3460 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d80192cf77c7beeb26c783a2f53064e2eddb654b;p=cvc5.git Don't run bv_nat parse test with competition build (#4126) This commit should fix the nightlies. --- diff --git a/test/regress/regress0/parser/bv_nat.smt2 b/test/regress/regress0/parser/bv_nat.smt2 index fc2140854..14a150b4f 100644 --- a/test/regress/regress0/parser/bv_nat.smt2 +++ b/test/regress/regress0/parser/bv_nat.smt2 @@ -1,3 +1,4 @@ +; REQUIRES: no-competition ; EXPECT: sat ; EXPECT: not declared ; SCRUBBER: grep -o "sat\|not declared"