projects / cvc5.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
fix bug 605
[cvc5.git] / test / regress / regress0 / Makefile.am
diff --git a/test/regress/regress0/Makefile.am b/test/regress/regress0/Makefile.am
index 819e2176ea37274a478ddc319e4a897e44c1af35..f716b8b110f6db618b7d43e9581da1ba164856bc 100644 (file)
--- a/test/regress/regress0/Makefile.am
+++ b/test/regress/regress0/Makefile.am
@@ -175,6 +175,7 @@ BUG_TESTS = \
        bug596.cvc \
        bug596b.cvc
 #bug590.smt2
+#bug605.cvc  %% fixes 605, but disabling as it runs into a different assertion failure
 
 TESTS = $(SMT_TESTS) $(SMT2_TESTS) $(CVC_TESTS) $(TPTP_TESTS) $(BUG_TESTS)