From: Andres Notzli <andres.noetzli@gmail.com>
Date: Sat, 13 May 2017 23:09:58 +0000 (-0700)
Subject: Fix out-of-bounds access in test
X-Git-Tag: cvc5-1.0.0~5805^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e3691b6319e3bd47127cfbd310e220921aa66de0;p=cvc5.git

Fix out-of-bounds access in test
---

diff --git a/test/unit/util/stats_black.h b/test/unit/util/stats_black.h
index 9f06b469f..c63648581 100644
--- a/test/unit/util/stats_black.h
+++ b/test/unit/util/stats_black.h
@@ -172,7 +172,6 @@ public:
         "true\n"
         "[(0 : 1), (5 : 2), (6 : 1), (10 : 2)]\n"
         "<unsupported>";
-    std::cout << buf << std::endl;
     TS_ASSERT(strncmp(expected, buf, file_size) == 0);
     delete[] buf;