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 | |
| parent | 0e62e42f739e467f61f5c3d10e7b1c7356db6406 (diff) | |
Don't run bv_nat parse test with competition build (#4126)
This commit should fix the nightlies.
| -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" |