cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Tests updated.

Browse Source 
Fixes to executive logging.
Trie testing made considerably more rigourous.
This commit is contained in:
Gav Wood 2014-05-28 16:28:41 +02:00
parent a418c6c09c
commit e3934b2401
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
main.cpp
View File

@ -42,15 +42,18 @@ using namespace eth;
BOOST_AUTO_TEST_CASE(basic_tests) BOOST_AUTO_TEST_CASE(basic_tests)
{ {
cdebug << "Stress-testing Trie...";
{ {
BasicMap m; BasicMap m;
EnforceRefs e(m, true);
GenericTrieDB<BasicMap> d(&m); GenericTrieDB<BasicMap> d(&m);
d.init(); // initialise as empty tree. d.init(); // initialise as empty tree.
MemTrie t; MemTrie t;
for (int a = 0; a < 20; ++a) assert(d.check().empty());
for (int a = 0; a < 100; ++a)
{ {
StringMap m; StringMap m;
for (int i = 0; i < 20; ++i) for (int i = 0; i < 100; ++i)
{ {
auto k = randomWord(); auto k = randomWord();
auto v = toString(i); auto v = toString(i);
@ -59,6 +62,7 @@ BOOST_AUTO_TEST_CASE(basic_tests)
d.insert(k, v); d.insert(k, v);
assert(hash256(m) == t.hash256()); assert(hash256(m) == t.hash256());
assert(hash256(m) == d.root()); assert(hash256(m) == d.root());
assert(d.check().empty());
} }
while (!m.empty()) while (!m.empty())
{ {
@ -68,6 +72,7 @@ BOOST_AUTO_TEST_CASE(basic_tests)
m.erase(k); m.erase(k);
assert(hash256(m) == t.hash256()); assert(hash256(m) == t.hash256());
assert(hash256(m) == d.root()); assert(hash256(m) == d.root());
assert(d.check().empty());
} }
} }
} }