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/regress0/issue4010-sort-inf-var.smt2 | |
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/regress0/issue4010-sort-inf-var.smt2')
0 files changed, 0 insertions, 0 deletions