diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-05-02 19:46:06 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-05-02 19:46:06 +0000 |
| commit | 4b95edb13788cfa65415ff0c04e5d2c69d457f82 (patch) | |
| tree | f076e50e3248aa99975f4f47a28b84fb092c1498 | |
| parent | d9ab41bcb2ff1e099a93438039432ef43dc4257a (diff) | |
updating bv regressions
| -rw-r--r-- | test/regress/regress0/bv/core/Makefile.am | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/regress/regress0/bv/core/Makefile.am b/test/regress/regress0/bv/core/Makefile.am index a7fa9abfd..7af2ecdae 100644 --- a/test/regress/regress0/bv/core/Makefile.am +++ b/test/regress/regress0/bv/core/Makefile.am @@ -68,7 +68,6 @@ TESTS = \ a95test0002.smt \ bitvec0.smt \ bitvec2.smt \ - bitvec3.smt \ bitvec5.smt EXTRA_DIST = $(TESTS) |