From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Mon, 2 May 2011 19:46:06 +0000 (+0000)
Subject: updating bv regressions
X-Git-Tag: cvc5-1.0.0~8562
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4b95edb13788cfa65415ff0c04e5d2c69d457f82;p=cvc5.git

updating bv regressions
---

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)