2016-06-09 16:54:29 +00:00
|
|
|
/*
|
|
|
|
This file is part of cpp-ethereum.
|
|
|
|
|
|
|
|
cpp-ethereum is free software: you can redistribute it and/or modify
|
|
|
|
it under the terms of the GNU General Public License as published by
|
|
|
|
the Free Software Foundation, either version 3 of the License, or
|
|
|
|
(at your option) any later version.
|
|
|
|
|
|
|
|
cpp-ethereum is distributed in the hope that it will be useful,
|
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
GNU General Public License for more details.
|
|
|
|
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
|
|
along with cpp-ethereum. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
*/
|
|
|
|
/**
|
|
|
|
* @author Christian <c@ethdev.com>
|
|
|
|
* @date 2016
|
|
|
|
* Framework for executing Solidity contracts and testing them against C++ implementation.
|
|
|
|
*/
|
|
|
|
|
2016-06-16 22:19:16 +00:00
|
|
|
#include <cstdlib>
|
2016-06-16 13:06:53 +00:00
|
|
|
#include <boost/test/framework.hpp>
|
2016-06-09 16:54:29 +00:00
|
|
|
#include <test/libsolidity/SolidityExecutionFramework.h>
|
|
|
|
|
|
|
|
using namespace std;
|
|
|
|
using namespace dev;
|
|
|
|
using namespace dev::solidity;
|
|
|
|
using namespace dev::solidity::test;
|
|
|
|
|
2016-06-16 22:19:16 +00:00
|
|
|
string getIPCSocketPath()
|
2016-06-16 13:06:53 +00:00
|
|
|
{
|
2016-06-16 22:19:16 +00:00
|
|
|
string ipcPath;
|
|
|
|
|
2016-06-16 13:06:53 +00:00
|
|
|
size_t argc = boost::unit_test::framework::master_test_suite().argc;
|
|
|
|
char** argv = boost::unit_test::framework::master_test_suite().argv;
|
|
|
|
for (size_t i = 0; i < argc; i++)
|
|
|
|
{
|
|
|
|
string arg = argv[i];
|
2016-06-16 22:19:16 +00:00
|
|
|
if (arg == "--ipc" && i + 1 < argc)
|
2016-06-16 13:06:53 +00:00
|
|
|
{
|
2016-06-16 22:19:16 +00:00
|
|
|
ipcPath = argv[i + 1];
|
2016-06-16 13:06:53 +00:00
|
|
|
i++;
|
|
|
|
}
|
|
|
|
}
|
2016-06-16 22:19:16 +00:00
|
|
|
if (ipcPath.empty())
|
2016-06-18 00:08:20 +00:00
|
|
|
if (auto path = getenv("ETH_TEST_IPC"))
|
|
|
|
ipcPath = path;
|
2016-06-16 13:06:53 +00:00
|
|
|
if (ipcPath.empty())
|
2016-06-20 23:39:06 +00:00
|
|
|
BOOST_FAIL("ERROR: ipcPath not set! (use --ipc <path> or the environment variable ETH_TEST_IPC)");
|
2016-06-16 22:19:16 +00:00
|
|
|
return ipcPath;
|
2016-06-16 13:06:53 +00:00
|
|
|
}
|
2016-06-09 16:54:29 +00:00
|
|
|
|
2016-06-16 13:06:53 +00:00
|
|
|
ExecutionFramework::ExecutionFramework() :
|
2016-06-16 22:19:16 +00:00
|
|
|
m_rpc(RPCSession::instance(getIPCSocketPath())),
|
2016-06-14 15:01:57 +00:00
|
|
|
m_sender(m_rpc.account(0))
|
2016-06-09 16:54:29 +00:00
|
|
|
{
|
|
|
|
if (g_logVerbosity != -1)
|
|
|
|
g_logVerbosity = 0;
|
|
|
|
|
|
|
|
m_rpc.test_rewindToBlock(0);
|
|
|
|
}
|
|
|
|
|
|
|
|
void ExecutionFramework::sendMessage(bytes const& _data, bool _isCreation, u256 const& _value)
|
|
|
|
{
|
|
|
|
RPCSession::TransactionData d;
|
|
|
|
d.data = "0x" + toHex(_data);
|
|
|
|
d.from = "0x" + toString(m_sender);
|
|
|
|
d.gas = toHex(m_gas, HexPrefix::Add);
|
|
|
|
d.gasPrice = toHex(m_gasPrice, HexPrefix::Add);
|
|
|
|
d.value = toHex(_value, HexPrefix::Add);
|
|
|
|
if (!_isCreation)
|
|
|
|
{
|
|
|
|
d.to = dev::toString(m_contractAddress);
|
|
|
|
BOOST_REQUIRE(m_rpc.eth_getCode(d.to, "latest").size() > 2);
|
|
|
|
// Use eth_call to get the output
|
|
|
|
m_output = fromHex(m_rpc.eth_call(d, "latest"), WhenError::Throw);
|
|
|
|
}
|
|
|
|
|
|
|
|
string txHash = m_rpc.eth_sendTransaction(d);
|
|
|
|
m_rpc.test_mineBlocks(1);
|
|
|
|
RPCSession::TransactionReceipt receipt(m_rpc.eth_getTransactionReceipt(txHash));
|
|
|
|
|
|
|
|
if (_isCreation)
|
|
|
|
{
|
|
|
|
m_contractAddress = Address(receipt.contractAddress);
|
|
|
|
BOOST_REQUIRE(m_contractAddress);
|
|
|
|
string code = m_rpc.eth_getCode(receipt.contractAddress, "latest");
|
2016-06-13 15:10:58 +00:00
|
|
|
m_output = fromHex(code, WhenError::Throw);
|
2016-06-09 16:54:29 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
m_gasUsed = u256(receipt.gasUsed);
|
|
|
|
m_logs.clear();
|
2016-06-13 15:10:58 +00:00
|
|
|
for (auto const& log: receipt.logEntries)
|
|
|
|
{
|
|
|
|
LogEntry entry;
|
|
|
|
entry.address = Address(log.address);
|
|
|
|
for (auto const& topic: log.topics)
|
|
|
|
entry.topics.push_back(h256(topic));
|
|
|
|
entry.data = fromHex(log.data, WhenError::Throw);
|
|
|
|
m_logs.push_back(entry);
|
|
|
|
}
|
2016-06-09 16:54:29 +00:00
|
|
|
}
|
2016-06-13 22:12:13 +00:00
|
|
|
|
2016-06-18 00:08:20 +00:00
|
|
|
void ExecutionFramework::sendEther(Address const& _to, u256 const& _value)
|
|
|
|
{
|
|
|
|
RPCSession::TransactionData d;
|
|
|
|
d.data = "0x";
|
|
|
|
d.from = "0x" + toString(m_sender);
|
|
|
|
d.gas = toHex(m_gas, HexPrefix::Add);
|
|
|
|
d.gasPrice = toHex(m_gasPrice, HexPrefix::Add);
|
|
|
|
d.value = toHex(_value, HexPrefix::Add);
|
|
|
|
d.to = dev::toString(_to);
|
|
|
|
|
|
|
|
string txHash = m_rpc.eth_sendTransaction(d);
|
|
|
|
m_rpc.test_mineBlocks(1);
|
|
|
|
}
|
|
|
|
|
|
|
|
size_t ExecutionFramework::currentTimestamp()
|
|
|
|
{
|
|
|
|
auto latestBlock = m_rpc.rpcCall("eth_getBlockByNumber", {"\"latest\"", "false"});
|
|
|
|
return size_t(u256(latestBlock.get("timestamp", "invalid").asString()));
|
|
|
|
}
|
|
|
|
|
|
|
|
Address ExecutionFramework::account(size_t _i)
|
|
|
|
{
|
|
|
|
return Address(m_rpc.accountCreateIfNotExists(_i));
|
|
|
|
}
|
|
|
|
|
2016-06-14 15:01:57 +00:00
|
|
|
bool ExecutionFramework::addressHasCode(Address const& _addr)
|
|
|
|
{
|
|
|
|
string code = m_rpc.eth_getCode(toString(_addr), "latest");
|
|
|
|
return !code.empty() && code != "0x";
|
|
|
|
}
|
|
|
|
|
2016-06-13 22:12:13 +00:00
|
|
|
u256 ExecutionFramework::balanceAt(Address const& _addr)
|
|
|
|
{
|
|
|
|
return u256(m_rpc.eth_getBalance(toString(_addr), "latest"));
|
|
|
|
}
|
|
|
|
|
|
|
|
bool ExecutionFramework::storageEmpty(Address const& _addr)
|
|
|
|
{
|
2016-06-16 22:47:42 +00:00
|
|
|
h256 root(m_rpc.eth_getStorageRoot(toString(_addr), "latest"));
|
|
|
|
BOOST_CHECK(root);
|
|
|
|
return root == EmptyTrie;
|
2016-06-13 22:12:13 +00:00
|
|
|
}
|