projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
d6ea515
)
update stats_black
author
Kshitij Bansal
<kshitij@cs.nyu.edu>
Tue, 27 May 2014 20:16:55 +0000
(16:16 -0400)
committer
Kshitij Bansal
<kshitij@cs.nyu.edu>
Tue, 27 May 2014 20:16:55 +0000
(16:16 -0400)
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 1367a62c11eec97a76a3ded96dd6e4493a646092..02daf8066494d3140fdb7eab795d0cf5b773660f 100644
(file)
--- a/
test/unit/util/stats_black.h
+++ b/
test/unit/util/stats_black.h
@@
-90,7
+90,7
@@
public:
TS_ASSERT_EQUALS(sstr.str(), "100");
sstr.str("");
sTimer.flushInformation(sstr);
- TS_ASSERT_EQUALS(sstr.str(), "0.00000000");
+ TS_ASSERT_EQUALS(sstr.str(), "0.00000000
0
");
sTimer.start();
timespec zero = { 0, 0 };