projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
31681c7
)
Fix out-of-bounds access in test
author
Andres Notzli
<andres.noetzli@gmail.com>
Sat, 13 May 2017 23:09:58 +0000
(16:09 -0700)
committer
Andres Notzli
<andres.noetzli@gmail.com>
Sat, 13 May 2017 23:09:58 +0000
(16:09 -0700)
test/unit/util/stats_black.h
patch
|
blob
|
history
diff --git
a/test/unit/util/stats_black.h
b/test/unit/util/stats_black.h
index 9f06b469fe6a71f29df106b005f8cddc48b86c04..c63648581afde4f83ea0fb6e3277a521b325e1c6 100644
(file)
--- 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;