projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 391cfbd)
also remove now-incorrect comment from makefile
authorMorgan Deters <mdeters@gmail.com>
Wed, 6 Jun 2012 17:52:47 +0000 (17:52 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 6 Jun 2012 17:52:47 +0000 (17:52 +0000)
test/regress/regress0/unconstrained/Makefile.am patch | blob | history

diff --git a/test/regress/regress0/unconstrained/Makefile.am b/test/regress/regress0/unconstrained/Makefile.am
index d3adc2167fcbadbce604bbc1f3aca4e1decbda41..236a3d4c57b93499bdd1d8b72a9c3daaa6252e78 100644 (file)
--- a/test/regress/regress0/unconstrained/Makefile.am
+++ b/test/regress/regress0/unconstrained/Makefile.am
@@ -62,7 +62,6 @@ TESTS =       \
        uf2.smt2 \
        xor.smt2
 
-# bvbool3 takes too long for regress0
 EXTRA_DIST = $(TESTS)
 
 #if CVC4_BUILD_PROFILE_COMPETITION