aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorChristoph Jentzsch <jentzsch.software@gmail.com>2014-11-19 21:30:42 +0800
committerChristoph Jentzsch <jentzsch.software@gmail.com>2014-11-19 21:30:42 +0800
commitb1e26e28e3996abb2c45edf481681a491a357f32 (patch)
tree1055957cc8d558ef90bb3be971763f54c4b9e5b2
parent52dc2b4bc57c782bf12159e47c0c42490c86f28c (diff)
downloaddexon-solidity-b1e26e28e3996abb2c45edf481681a491a357f32.tar.gz
dexon-solidity-b1e26e28e3996abb2c45edf481681a491a357f32.tar.zst
dexon-solidity-b1e26e28e3996abb2c45edf481681a491a357f32.zip
Add Log tests
-rw-r--r--TestHelper.cpp12
-rw-r--r--TestHelper.h2
-rw-r--r--vm.cpp49
-rw-r--r--vm.h2
-rw-r--r--vmLogTestFiller.json113
5 files changed, 177 insertions, 1 deletions
diff --git a/TestHelper.cpp b/TestHelper.cpp
index 1b13f9e8..a0e2d572 100644
--- a/TestHelper.cpp
+++ b/TestHelper.cpp
@@ -287,6 +287,18 @@ void checkStorage(map<u256, u256> _expectedStore, map<u256, u256> _resultStore,
}
}
+void checkLog(LogEntries _resultLogs, LogEntries _expectedLogs)
+{
+ BOOST_REQUIRE_EQUAL(_resultLogs.size(), _expectedLogs.size());
+
+ for (size_t i = 0; i < _resultLogs.size(); ++i)
+ {
+ BOOST_CHECK(_resultLogs[i].address == _expectedLogs[i].address);
+ BOOST_CHECK(_resultLogs[i].topics == _expectedLogs[i].topics);
+ BOOST_CHECK(_resultLogs[i].data == _expectedLogs[i].data);
+ }
+}
+
std::string getTestPath()
{
string testPath;
diff --git a/TestHelper.h b/TestHelper.h
index ef67d52f..7a2b8da5 100644
--- a/TestHelper.h
+++ b/TestHelper.h
@@ -25,6 +25,7 @@
#include <boost/test/unit_test.hpp>
#include "JsonSpiritHeaders.h"
#include <libethereum/State.h>
+#include <libevm/ExtVMFace.h>
namespace dev
{
@@ -69,6 +70,7 @@ bytes importCode(json_spirit::mObject& _o);
bytes importData(json_spirit::mObject& _o);
void checkOutput(bytes const& _output, json_spirit::mObject& _o);
void checkStorage(std::map<u256, u256> _expectedStore, std::map<u256, u256> _resultStore, Address _expectedAddr);
+void checkLog(eth::LogEntries _resultLogs, eth::LogEntries _expectedLogs);
void executeTests(const std::string& _name, const std::string& _testPathAppendix, std::function<void(json_spirit::mValue&, bool)> doTests);
std::string getTestPath();
void userDefinedTest(std::string testTypeFlag, std::function<void(json_spirit::mValue&, bool)> doTests);
diff --git a/vm.cpp b/vm.cpp
index cacbf94c..2503f89d 100644
--- a/vm.cpp
+++ b/vm.cpp
@@ -120,6 +120,43 @@ void FakeExtVM::importEnv(mObject& _o)
currentBlock.coinbaseAddress = Address(_o["currentCoinbase"].get_str());
}
+mObject FakeExtVM::exportLog()
+{
+ mObject ret;
+ for (LogEntry const& l: sub.logs)
+ {
+ mObject o;
+ o["address"] = toString(l.address);
+ mArray topics;
+ for (auto const& t: l.topics)
+ topics.push_back(toString(t));
+ o["topics"] = topics;
+ o["data"] = "0x" + toHex(l.data);
+ ret[toString(l.bloom())] = o;
+ }
+ return ret;
+}
+
+void FakeExtVM::importLog(mObject& _o)
+{
+ for (auto const& l: _o)
+ {
+ mObject o = l.second.get_obj();
+ // cant use BOOST_REQUIRE, because this function is used outside boost test (createRandomTest)
+ assert(o.count("address") > 0);
+ assert(o.count("topics") > 0);
+ assert(o.count("data") > 0);
+ LogEntry log;
+ log.address = Address(o["address"].get_str());
+ for (auto const& t: o["topics"].get_array())
+ {
+ log.topics.insert(h256(t.get_str()));
+ }
+ log.data = importData(o);
+ sub.logs.push_back(log);
+ }
+}
+
mObject FakeExtVM::exportState()
{
mObject ret;
@@ -302,7 +339,7 @@ void doVMTests(json_spirit::mValue& v, bool _fillin)
u256 gas;
try
{
- output = vm.go(fev, fev.simpleTrace()).toVector();
+ output = vm.go(fev, fev.simpleTrace()).toBytes();
gas = vm.gas();
}
catch (VMException const& _e)
@@ -346,6 +383,7 @@ void doVMTests(json_spirit::mValue& v, bool _fillin)
o["callcreates"] = fev.exportCallCreates();
o["out"] = "0x" + toHex(output);
fev.push(o, "gas", gas);
+ o["logs"] = mValue(fev.exportLog());
}
else
{
@@ -353,10 +391,12 @@ void doVMTests(json_spirit::mValue& v, bool _fillin)
BOOST_REQUIRE(o.count("callcreates") > 0);
BOOST_REQUIRE(o.count("out") > 0);
BOOST_REQUIRE(o.count("gas") > 0);
+ BOOST_REQUIRE(o.count("logs") > 0);
dev::test::FakeExtVM test;
test.importState(o["post"].get_obj());
test.importCallCreates(o["callcreates"].get_array());
+ test.importLog(o["logs"].get_obj());
checkOutput(output, o);
@@ -384,6 +424,8 @@ void doVMTests(json_spirit::mValue& v, bool _fillin)
checkAddresses<std::map<Address, std::tuple<u256, u256, std::map<u256, u256>, bytes> > >(test.addresses, fev.addresses);
BOOST_CHECK(test.callcreates == fev.callcreates);
+
+ checkLog(fev.sub.logs, test.sub.logs);
}
}
}
@@ -432,6 +474,11 @@ BOOST_AUTO_TEST_CASE(vmPushDupSwapTest)
dev::test::executeTests("vmPushDupSwapTest", "/VMTests", dev::test::doVMTests);
}
+BOOST_AUTO_TEST_CASE(vmLogTest)
+{
+ dev::test::executeTests("vmLogTest", "/VMTests", dev::test::doVMTests);
+}
+
BOOST_AUTO_TEST_CASE(vmRandom)
{
string testPath = getTestPath();
diff --git a/vm.h b/vm.h
index a52a02e3..eb98aa0a 100644
--- a/vm.h
+++ b/vm.h
@@ -66,6 +66,8 @@ public:
u256 doPosts();
json_spirit::mObject exportEnv();
void importEnv(json_spirit::mObject& _o);
+ json_spirit::mObject exportLog();
+ void importLog(json_spirit::mObject& _o);
json_spirit::mObject exportState();
void importState(json_spirit::mObject& _object);
json_spirit::mObject exportExec();
diff --git a/vmLogTestFiller.json b/vmLogTestFiller.json
new file mode 100644
index 00000000..fbf20628
--- /dev/null
+++ b/vmLogTestFiller.json
@@ -0,0 +1,113 @@
+{
+ "log0": {
+ "env" : {
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+ "currentNumber" : "0",
+ "currentGasLimit" : "1000000",
+ "currentDifficulty" : "256",
+ "currentTimestamp" : 1,
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+ },
+ "pre" : {
+ "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+ "balance" : "1000000000000000000",
+ "nonce" : 0,
+ "code" : "{ (LOG0 0 0) }",
+ "storage": {}
+ }
+ },
+ "exec" : {
+ "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+ "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+ "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+ "value" : "1000000000000000000",
+ "data" : "",
+ "gasPrice" : "100000000000000",
+ "gas" : "10000"
+ }
+ },
+
+ "log1": {
+ "env" : {
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+ "currentNumber" : "0",
+ "currentGasLimit" : "1000000",
+ "currentDifficulty" : "256",
+ "currentTimestamp" : 1,
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+ },
+ "pre" : {
+ "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+ "balance" : "1000000000000000000",
+ "nonce" : 0,
+ "code" : "{ (LOG1 0 0 (CALLER)) }",
+ "storage": {}
+ }
+ },
+ "exec" : {
+ "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+ "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+ "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+ "value" : "1000000000000000000",
+ "data" : "",
+ "gasPrice" : "100000000000000",
+ "gas" : "10000"
+ }
+ },
+
+ "log2": {
+ "env" : {
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+ "currentNumber" : "0",
+ "currentGasLimit" : "1000000",
+ "currentDifficulty" : "256",
+ "currentTimestamp" : 1,
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+ },
+ "pre" : {
+ "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+ "balance" : "1000000000000000000",
+ "nonce" : 0,
+ "code" : "{ (LOG2 0 0 (CALLER) (ADDRESS)) }",
+ "storage": {}
+ }
+ },
+ "exec" : {
+ "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+ "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+ "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+ "value" : "1000000000000000000",
+ "data" : "",
+ "gasPrice" : "100000000000000",
+ "gas" : "10000"
+ }
+ },
+
+ "log2_1": {
+ "env" : {
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
+ "currentNumber" : "0",
+ "currentGasLimit" : "1000000",
+ "currentDifficulty" : "256",
+ "currentTimestamp" : 1,
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
+ },
+ "pre" : {
+ "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
+ "balance" : "1000000000000000000",
+ "nonce" : 0,
+ "code" : "{ (LOG2 0 0 (CALLER) 23) }",
+ "storage": {}
+ }
+ },
+ "exec" : {
+ "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
+ "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+ "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
+ "value" : "1000000000000000000",
+ "data" : "",
+ "gasPrice" : "100000000000000",
+ "gas" : "10000"
+ }
+ }
+}