aboutsummaryrefslogtreecommitdiffstats
path: root/TestHelper.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'TestHelper.cpp')
-rw-r--r--TestHelper.cpp282
1 files changed, 282 insertions, 0 deletions
diff --git a/TestHelper.cpp b/TestHelper.cpp
index 03e67934..68fdd748 100644
--- a/TestHelper.cpp
+++ b/TestHelper.cpp
@@ -23,7 +23,14 @@
#include <thread>
#include <chrono>
+#include <boost/filesystem/path.hpp>
#include <libethereum/Client.h>
+#include <liblll/Compiler.h>
+
+//#define FILL_TESTS
+
+using namespace std;
+using namespace dev::eth;
namespace dev
{
@@ -53,6 +60,281 @@ void connectClients(Client& c1, Client& c2)
c2.connect("127.0.0.1", c1Port);
#endif
}
+}
+
+namespace test
+{
+
+ImportTest::ImportTest(json_spirit::mObject& _o, bool isFiller):m_TestObject(_o)
+{
+ importEnv(_o["env"].get_obj());
+ importState(_o["pre"].get_obj(), m_statePre);
+ importTransaction(_o["transaction"].get_obj());
+
+ if (!isFiller)
+ {
+ importState(_o["post"].get_obj(), m_statePost);
+ }
+}
+
+void ImportTest::importEnv(json_spirit::mObject& _o)
+{
+ assert(_o.count("previousHash") > 0);
+ assert(_o.count("currentGasLimit") > 0);
+ assert(_o.count("currentDifficulty") > 0);
+ assert(_o.count("currentTimestamp") > 0);
+ assert(_o.count("currentCoinbase") > 0);
+ assert(_o.count("currentNumber") > 0);
+
+ m_environment.previousBlock.hash = h256(_o["previousHash"].get_str());
+ m_environment.currentBlock.number = toInt(_o["currentNumber"]);
+ m_environment.currentBlock.gasLimit = toInt(_o["currentGasLimit"]);
+ m_environment.currentBlock.difficulty = toInt(_o["currentDifficulty"]);
+ m_environment.currentBlock.timestamp = toInt(_o["currentTimestamp"]);
+ m_environment.currentBlock.coinbaseAddress = Address(_o["currentCoinbase"].get_str());
+
+ m_statePre.m_previousBlock = m_environment.previousBlock;
+ m_statePre.m_currentBlock = m_environment.currentBlock;
+}
+
+void ImportTest::importState(json_spirit::mObject& _o, State& _state)
+{
+ for (auto& i: _o)
+ {
+ json_spirit::mObject o = i.second.get_obj();
+
+ assert(o.count("balance") > 0);
+ assert(o.count("nonce") > 0);
+ assert(o.count("storage") > 0);
+ assert(o.count("code") > 0);
+
+ Address address = Address(i.first);
+
+ for (auto const& j: o["storage"].get_obj())
+ _state.setStorage(address, toInt(j.first), toInt(j.second));
+
+ bytes code = importCode(o);
+
+ toInt(o["nonce"]);
+ if (toHex(code).size())
+ {
+ _state.m_cache[address] = Account(toInt(o["balance"]), Account::ContractConception);
+ i.second.get_obj()["code"] = "0x" + toHex(code); //preperation for export
+ _state.m_cache[address].setCode(bytesConstRef(&code));
+ }
+ else
+ _state.m_cache[address] = Account(toInt(o["balance"]), Account::NormalCreation);
+
+ for(int i=0; i<toInt(o["nonce"]); ++i)
+ _state.noteSending(address);
+
+ _state.ensureCached(address, false, false);
+ }
+}
+
+void ImportTest::importTransaction(json_spirit::mObject& _o)
+{
+ assert(_o.count("nonce")> 0);
+ assert(_o.count("gasPrice") > 0);
+ assert(_o.count("gasLimit") > 0);
+ assert(_o.count("to") > 0);
+ assert(_o.count("value") > 0);
+ assert(_o.count("secretKey") > 0);
+ assert(_o.count("data") > 0);
+
+ m_transaction.nonce = toInt(_o["nonce"]);
+ m_transaction.gasPrice = toInt(_o["gasPrice"]);
+ m_transaction.gas = toInt(_o["gasLimit"]);
+ m_transaction.receiveAddress = Address(_o["to"].get_str());
+ m_transaction.type = m_transaction.receiveAddress ? Transaction::MessageCall : Transaction::ContractCreation;
+ m_transaction.value = toInt(_o["value"]);
+ Secret secretKey = Secret(_o["secretKey"].get_str());
+ m_transaction.sign(secretKey);
+ m_transaction.data = importData(_o);
+}
+
+void ImportTest::exportTest(bytes _output, State& _statePost)
+{
+ // export output
+ m_TestObject["out"] = "0x" + toHex(_output);
+
+ // export post state
+ json_spirit::mObject postState;
+
+ std::map<Address, Account> genesis = genesisState();
+
+ for (auto const& a: _statePost.addresses())
+ {
+ if (genesis.count(a.first))
+ continue;
+
+ json_spirit::mObject o;
+ o["balance"] = toString(_statePost.balance(a.first));
+ o["nonce"] = toString(_statePost.transactionsFrom(a.first));
+ {
+ json_spirit::mObject store;
+ for (auto const& s: _statePost.storage(a.first))
+ store["0x"+toHex(toCompactBigEndian(s.first))] = "0x"+toHex(toCompactBigEndian(s.second));
+ o["storage"] = store;
+ }
+ o["code"] = "0x" + toHex(_statePost.code(a.first));
+
+ postState[toString(a.first)] = o;
+ }
+ m_TestObject["post"] = json_spirit::mValue(postState);
+}
+
+u256 toInt(json_spirit::mValue const& _v)
+{
+ switch (_v.type())
+ {
+ case json_spirit::str_type: return u256(_v.get_str());
+ case json_spirit::int_type: return (u256)_v.get_uint64();
+ case json_spirit::bool_type: return (u256)(uint64_t)_v.get_bool();
+ case json_spirit::real_type: return (u256)(uint64_t)_v.get_real();
+ default: cwarn << "Bad type for scalar: " << _v.type();
+ }
+ return 0;
+}
+
+byte toByte(json_spirit::mValue const& _v)
+{
+ switch (_v.type())
+ {
+ case json_spirit::str_type: return (byte)stoi(_v.get_str());
+ case json_spirit::int_type: return (byte)_v.get_uint64();
+ case json_spirit::bool_type: return (byte)_v.get_bool();
+ case json_spirit::real_type: return (byte)_v.get_real();
+ default: cwarn << "Bad type for scalar: " << _v.type();
+ }
+ return 0;
+}
+
+bytes importData(json_spirit::mObject & _o)
+{
+ bytes data;
+ if (_o["data"].type() == json_spirit::str_type)
+ if (_o["data"].get_str().find_first_of("0x") == 0)
+ data = fromHex(_o["data"].get_str().substr(2));
+ else
+ data = fromHex(_o["data"].get_str());
+ else
+ for (auto const& j: _o["data"].get_array())
+ data.push_back(toByte(j));
+
+ return data;
+}
+
+bytes importCode(json_spirit::mObject & _o)
+{
+ bytes code;
+ if (_o["code"].type() == json_spirit::str_type)
+ if (_o["code"].get_str().find_first_of("0x") != 0)
+ code = compileLLL(_o["code"].get_str(), false);
+ else
+ code = fromHex(_o["code"].get_str().substr(2));
+ else if (_o["code"].type() == json_spirit::array_type)
+ {
+ code.clear();
+ for (auto const& j: _o["code"].get_array())
+ code.push_back(toByte(j));
+ }
+ return code;
+}
+
+void checkOutput(bytes const& _output, json_spirit::mObject & _o)
+{
+ int j = 0;
+ if (_o["out"].type() == json_spirit::array_type)
+ for (auto const& d: _o["out"].get_array())
+ {
+ BOOST_CHECK_MESSAGE(_output[j] == toInt(d), "Output byte [" << j << "] different!");
+ ++j;
+ }
+ else if (_o["out"].get_str().find("0x") == 0)
+ BOOST_CHECK(_output == fromHex(_o["out"].get_str().substr(2)));
+ else
+ BOOST_CHECK(_output == fromHex(_o["out"].get_str()));
+}
+
+void checkStorage(map<u256, u256> _expectedStore, map<u256, u256> _resultStore, Address _expectedAddr)
+{
+ for (auto&& expectedStorePair : _expectedStore)
+ {
+ auto& expectedStoreKey = expectedStorePair.first;
+ auto resultStoreIt = _resultStore.find(expectedStoreKey);
+ if (resultStoreIt == _resultStore.end())
+ BOOST_ERROR(_expectedAddr << ": missing store key " << expectedStoreKey);
+ else
+ {
+ auto& expectedStoreValue = expectedStorePair.second;
+ auto& resultStoreValue = resultStoreIt->second;
+ BOOST_CHECK_MESSAGE(expectedStoreValue == resultStoreValue, _expectedAddr << ": store[" << expectedStoreKey << "] = " << resultStoreValue << ", expected " << expectedStoreValue);
+ }
+ }
+}
+
+std::string getTestPath()
+{
+ string testPath;
+ const char* ptestPath = getenv("ETHEREUM_TEST_PATH");
+
+ if (ptestPath == NULL)
+ {
+ cnote << " could not find environment variable ETHEREUM_TEST_PATH \n";
+ testPath = "../../../tests";
+ }
+ else
+ testPath = ptestPath;
+ return testPath;
}
+
+void executeTests(const string& _name, const string& _testPathAppendix, std::function<void(json_spirit::mValue&, bool)> doTests)
+{
+ string testPath = getTestPath();
+ testPath += _testPathAppendix;
+
+#ifdef FILL_TESTS
+ try
+ {
+ cnote << "Populating tests...";
+ json_spirit::mValue v;
+ boost::filesystem::path p(__FILE__);
+ boost::filesystem::path dir = p.parent_path();
+ string s = asString(dev::contents(dir.string() + "/" + _name + "Filler.json"));
+ BOOST_REQUIRE_MESSAGE(s.length() > 0, "Contents of " + dir.string() + "/" + _name + "Filler.json is empty.");
+ json_spirit::read_string(s, v);
+ doTests(v, true);
+ writeFile(testPath + "/" + _name + ".json", asBytes(json_spirit::write_string(v, true)));
+ }
+ catch (Exception const& _e)
+ {
+ BOOST_ERROR("Failed test with Exception: " << diagnostic_information(_e));
+ }
+ catch (std::exception const& _e)
+ {
+ BOOST_ERROR("Failed test with Exception: " << _e.what());
+ }
+#endif
+
+ try
+ {
+ cnote << "Testing ..." << _name;
+ json_spirit::mValue v;
+ string s = asString(dev::contents(testPath + "/" + _name + ".json"));
+ BOOST_REQUIRE_MESSAGE(s.length() > 0, "Contents of " + testPath + "/" + _name + ".json is empty. Have you cloned the 'tests' repo branch develop and set ETHEREUM_TEST_PATH to its path?");
+ json_spirit::read_string(s, v);
+ doTests(v, false);
+ }
+ catch (Exception const& _e)
+ {
+ BOOST_ERROR("Failed test with Exception: " << diagnostic_information(_e));
+ }
+ catch (std::exception const& _e)
+ {
+ BOOST_ERROR("Failed test with Exception: " << _e.what());
+ }
}
+
+} } // namespaces