projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e62e42) | patch
Don't run bv_nat parse test with competition build (#4126)
authorAndres Noetzli <andres.noetzli@gmail.com>
Sat, 21 Mar 2020 03:47:53 +0000 (20:47 -0700)
committerGitHub <noreply@github.com>
Sat, 21 Mar 2020 03:47:53 +0000 (20:47 -0700)
commitd80192cf77c7beeb26c783a2f53064e2eddb654b
tree4df9942edb613f6a1b0e3d6f0f53cffafbc504a1tree
parent0e62e42f739e467f61f5c3d10e7b1c7356db6406commit | diff
Don't run bv_nat parse test with competition build (#4126)

This commit should fix the nightlies.
test/regress/regress0/parser/bv_nat.smt2 diff | blob | history