From d80192cf77c7beeb26c783a2f53064e2eddb654b Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Fri, 20 Mar 2020 20:47:53 -0700 Subject: Don't run bv_nat parse test with competition build (#4126) This commit should fix the nightlies. --- test/regress/regress0/parser/bv_nat.smt2 | 1 + 1 file changed, 1 insertion(+) 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" -- cgit v1.2.3