diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-03-20 20:47:53 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-20 20:47:53 -0700 |
commit | d80192cf77c7beeb26c783a2f53064e2eddb654b (patch) | |
tree | 4df9942edb613f6a1b0e3d6f0f53cffafbc504a1 /test/regress | |
parent | 0e62e42f739e467f61f5c3d10e7b1c7356db6406 (diff) |
Don't run bv_nat parse test with competition build (#4126)
This commit should fix the nightlies.
Diffstat (limited to 'test/regress')
-rw-r--r-- | test/regress/regress0/parser/bv_nat.smt2 | 1 |
1 files changed, 1 insertions, 0 deletions
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" |