mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
Merge pull request #1442 from ethereum/lll-testing
LLL: introduce testing framework
This commit is contained in:
commit
ac357d1225
@ -100,11 +100,17 @@ std::string dev::eth::compileLLLToAsm(std::string const& _src, bool _opt, std::v
|
|||||||
string dev::eth::parseLLL(string const& _src)
|
string dev::eth::parseLLL(string const& _src)
|
||||||
{
|
{
|
||||||
sp::utree o;
|
sp::utree o;
|
||||||
|
|
||||||
try
|
try
|
||||||
{
|
{
|
||||||
parseTreeLLL(_src, o);
|
parseTreeLLL(_src, o);
|
||||||
}
|
}
|
||||||
catch (...) {}
|
catch (...)
|
||||||
|
{
|
||||||
|
killBigints(o);
|
||||||
|
return string();
|
||||||
|
}
|
||||||
|
|
||||||
ostringstream ret;
|
ostringstream ret;
|
||||||
debugOutAST(ret, o);
|
debugOutAST(ret, o);
|
||||||
killBigints(o);
|
killBigints(o);
|
||||||
|
@ -5,6 +5,7 @@ aux_source_directory(libdevcore SRC_LIST)
|
|||||||
aux_source_directory(libevmasm SRC_LIST)
|
aux_source_directory(libevmasm SRC_LIST)
|
||||||
aux_source_directory(libsolidity SRC_LIST)
|
aux_source_directory(libsolidity SRC_LIST)
|
||||||
aux_source_directory(contracts SRC_LIST)
|
aux_source_directory(contracts SRC_LIST)
|
||||||
|
aux_source_directory(liblll SRC_LIST)
|
||||||
|
|
||||||
get_filename_component(TESTS_DIR "${CMAKE_CURRENT_SOURCE_DIR}" ABSOLUTE)
|
get_filename_component(TESTS_DIR "${CMAKE_CURRENT_SOURCE_DIR}" ABSOLUTE)
|
||||||
|
|
||||||
@ -28,7 +29,7 @@ file(GLOB HEADERS "*.h" "*/*.h")
|
|||||||
set(EXECUTABLE soltest)
|
set(EXECUTABLE soltest)
|
||||||
eth_simple_add_executable(${EXECUTABLE} ${SRC_LIST} ${HEADERS})
|
eth_simple_add_executable(${EXECUTABLE} ${SRC_LIST} ${HEADERS})
|
||||||
|
|
||||||
eth_use(${EXECUTABLE} REQUIRED Solidity::solidity)
|
eth_use(${EXECUTABLE} REQUIRED Solidity::solidity Solidity::lll)
|
||||||
|
|
||||||
include_directories(BEFORE ..)
|
include_directories(BEFORE ..)
|
||||||
target_link_libraries(${EXECUTABLE} ${Boost_UNIT_TEST_FRAMEWORK_LIBRARIES})
|
target_link_libraries(${EXECUTABLE} ${Boost_UNIT_TEST_FRAMEWORK_LIBRARIES})
|
||||||
|
136
test/ExecutionFramework.cpp
Normal file
136
test/ExecutionFramework.cpp
Normal file
@ -0,0 +1,136 @@
|
|||||||
|
/*
|
||||||
|
This file is part of solidity.
|
||||||
|
|
||||||
|
solidity 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.
|
||||||
|
|
||||||
|
solidity 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 solidity. If not, see <http://www.gnu.org/licenses/>.
|
||||||
|
*/
|
||||||
|
/**
|
||||||
|
* @author Christian <c@ethdev.com>
|
||||||
|
* @date 2016
|
||||||
|
* Framework for executing contracts and testing them using RPC.
|
||||||
|
*/
|
||||||
|
|
||||||
|
#include <cstdlib>
|
||||||
|
#include <boost/test/framework.hpp>
|
||||||
|
#include <libdevcore/CommonIO.h>
|
||||||
|
#include <test/ExecutionFramework.h>
|
||||||
|
|
||||||
|
using namespace std;
|
||||||
|
using namespace dev;
|
||||||
|
using namespace dev::test;
|
||||||
|
|
||||||
|
namespace // anonymous
|
||||||
|
{
|
||||||
|
h256 const EmptyTrie("0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421");
|
||||||
|
}
|
||||||
|
|
||||||
|
string getIPCSocketPath()
|
||||||
|
{
|
||||||
|
string ipcPath = dev::test::Options::get().ipcPath;
|
||||||
|
if (ipcPath.empty())
|
||||||
|
BOOST_FAIL("ERROR: ipcPath not set! (use --ipcpath <path> or the environment variable ETH_TEST_IPC)");
|
||||||
|
|
||||||
|
return ipcPath;
|
||||||
|
}
|
||||||
|
|
||||||
|
ExecutionFramework::ExecutionFramework() :
|
||||||
|
m_rpc(RPCSession::instance(getIPCSocketPath())),
|
||||||
|
m_optimize(dev::test::Options::get().optimize),
|
||||||
|
m_sender(m_rpc.account(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");
|
||||||
|
m_output = fromHex(code, WhenError::Throw);
|
||||||
|
}
|
||||||
|
|
||||||
|
m_gasUsed = u256(receipt.gasUsed);
|
||||||
|
m_logs.clear();
|
||||||
|
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);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
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));
|
||||||
|
}
|
||||||
|
|
||||||
|
bool ExecutionFramework::addressHasCode(Address const& _addr)
|
||||||
|
{
|
||||||
|
string code = m_rpc.eth_getCode(toString(_addr), "latest");
|
||||||
|
return !code.empty() && code != "0x";
|
||||||
|
}
|
||||||
|
|
||||||
|
u256 ExecutionFramework::balanceAt(Address const& _addr)
|
||||||
|
{
|
||||||
|
return u256(m_rpc.eth_getBalance(toString(_addr), "latest"));
|
||||||
|
}
|
||||||
|
|
||||||
|
bool ExecutionFramework::storageEmpty(Address const& _addr)
|
||||||
|
{
|
||||||
|
h256 root(m_rpc.eth_getStorageRoot(toString(_addr), "latest"));
|
||||||
|
BOOST_CHECK(root);
|
||||||
|
return root == EmptyTrie;
|
||||||
|
}
|
295
test/ExecutionFramework.h
Normal file
295
test/ExecutionFramework.h
Normal file
@ -0,0 +1,295 @@
|
|||||||
|
/*
|
||||||
|
This file is part of solidity.
|
||||||
|
|
||||||
|
solidity 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.
|
||||||
|
|
||||||
|
solidity 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 solidity. If not, see <http://www.gnu.org/licenses/>.
|
||||||
|
*/
|
||||||
|
/**
|
||||||
|
* @author Christian <c@ethdev.com>
|
||||||
|
* @date 2014
|
||||||
|
* Framework for executing contracts and testing them using RPC.
|
||||||
|
*/
|
||||||
|
|
||||||
|
#pragma once
|
||||||
|
|
||||||
|
#include <functional>
|
||||||
|
|
||||||
|
#include "TestHelper.h"
|
||||||
|
#include "RPCSession.h"
|
||||||
|
|
||||||
|
#include <libdevcore/ABI.h>
|
||||||
|
#include <libdevcore/FixedHash.h>
|
||||||
|
|
||||||
|
namespace dev
|
||||||
|
{
|
||||||
|
namespace test
|
||||||
|
{
|
||||||
|
using rational = boost::rational<dev::bigint>;
|
||||||
|
/// An Ethereum address: 20 bytes.
|
||||||
|
/// @NOTE This is not endian-specific; it's just a bunch of bytes.
|
||||||
|
using Address = h160;
|
||||||
|
|
||||||
|
// The various denominations; here for ease of use where needed within code.
|
||||||
|
static const u256 ether = exp10<18>();
|
||||||
|
static const u256 finney = exp10<15>();
|
||||||
|
static const u256 szabo = exp10<12>();
|
||||||
|
static const u256 shannon = exp10<9>();
|
||||||
|
static const u256 wei = exp10<0>();
|
||||||
|
|
||||||
|
class ExecutionFramework
|
||||||
|
{
|
||||||
|
|
||||||
|
public:
|
||||||
|
ExecutionFramework();
|
||||||
|
|
||||||
|
virtual bytes const& compileAndRunWithoutCheck(
|
||||||
|
std::string const& _sourceCode,
|
||||||
|
u256 const& _value = 0,
|
||||||
|
std::string const& _contractName = "",
|
||||||
|
bytes const& _arguments = bytes(),
|
||||||
|
std::map<std::string, Address> const& _libraryAddresses = std::map<std::string, Address>()
|
||||||
|
) = 0;
|
||||||
|
|
||||||
|
bytes const& compileAndRun(
|
||||||
|
std::string const& _sourceCode,
|
||||||
|
u256 const& _value = 0,
|
||||||
|
std::string const& _contractName = "",
|
||||||
|
bytes const& _arguments = bytes(),
|
||||||
|
std::map<std::string, Address> const& _libraryAddresses = std::map<std::string, Address>()
|
||||||
|
)
|
||||||
|
{
|
||||||
|
compileAndRunWithoutCheck(_sourceCode, _value, _contractName, _arguments, _libraryAddresses);
|
||||||
|
BOOST_REQUIRE(!m_output.empty());
|
||||||
|
return m_output;
|
||||||
|
}
|
||||||
|
|
||||||
|
bytes const& callFallbackWithValue(u256 const& _value)
|
||||||
|
{
|
||||||
|
sendMessage(bytes(), false, _value);
|
||||||
|
return m_output;
|
||||||
|
}
|
||||||
|
|
||||||
|
bytes const & callFallback()
|
||||||
|
{
|
||||||
|
return callFallbackWithValue(0);
|
||||||
|
}
|
||||||
|
|
||||||
|
template <class... Args>
|
||||||
|
bytes const& callContractFunctionWithValue(std::string _sig, u256 const& _value, Args const&... _arguments)
|
||||||
|
{
|
||||||
|
FixedHash<4> hash(dev::keccak256(_sig));
|
||||||
|
sendMessage(hash.asBytes() + encodeArgs(_arguments...), false, _value);
|
||||||
|
return m_output;
|
||||||
|
}
|
||||||
|
|
||||||
|
template <class... Args>
|
||||||
|
bytes const& callContractFunction(std::string _sig, Args const&... _arguments)
|
||||||
|
{
|
||||||
|
return callContractFunctionWithValue(_sig, 0, _arguments...);
|
||||||
|
}
|
||||||
|
|
||||||
|
template <class CppFunction, class... Args>
|
||||||
|
void testContractAgainstCpp(std::string _sig, CppFunction const& _cppFunction, Args const&... _arguments)
|
||||||
|
{
|
||||||
|
bytes contractResult = callContractFunction(_sig, _arguments...);
|
||||||
|
bytes cppResult = callCppAndEncodeResult(_cppFunction, _arguments...);
|
||||||
|
BOOST_CHECK_MESSAGE(
|
||||||
|
contractResult == cppResult,
|
||||||
|
"Computed values do not match.\nContract: " +
|
||||||
|
toHex(contractResult) +
|
||||||
|
"\nC++: " +
|
||||||
|
toHex(cppResult)
|
||||||
|
);
|
||||||
|
}
|
||||||
|
|
||||||
|
template <class CppFunction, class... Args>
|
||||||
|
void testContractAgainstCppOnRange(std::string _sig, CppFunction const& _cppFunction, u256 const& _rangeStart, u256 const& _rangeEnd)
|
||||||
|
{
|
||||||
|
for (u256 argument = _rangeStart; argument < _rangeEnd; ++argument)
|
||||||
|
{
|
||||||
|
bytes contractResult = callContractFunction(_sig, argument);
|
||||||
|
bytes cppResult = callCppAndEncodeResult(_cppFunction, argument);
|
||||||
|
BOOST_CHECK_MESSAGE(
|
||||||
|
contractResult == cppResult,
|
||||||
|
"Computed values do not match.\nContract: " +
|
||||||
|
toHex(contractResult) +
|
||||||
|
"\nC++: " +
|
||||||
|
toHex(cppResult) +
|
||||||
|
"\nArgument: " +
|
||||||
|
toHex(encode(argument))
|
||||||
|
);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
static bytes encode(bool _value) { return encode(byte(_value)); }
|
||||||
|
static bytes encode(int _value) { return encode(u256(_value)); }
|
||||||
|
static bytes encode(size_t _value) { return encode(u256(_value)); }
|
||||||
|
static bytes encode(char const* _value) { return encode(std::string(_value)); }
|
||||||
|
static bytes encode(byte _value) { return bytes(31, 0) + bytes{_value}; }
|
||||||
|
static bytes encode(u256 const& _value) { return toBigEndian(_value); }
|
||||||
|
/// @returns the fixed-point encoding of a rational number with a given
|
||||||
|
/// number of fractional bits.
|
||||||
|
static bytes encode(std::pair<rational, int> const& _valueAndPrecision)
|
||||||
|
{
|
||||||
|
rational const& value = _valueAndPrecision.first;
|
||||||
|
int fractionalBits = _valueAndPrecision.second;
|
||||||
|
return encode(u256((value.numerator() << fractionalBits) / value.denominator()));
|
||||||
|
}
|
||||||
|
static bytes encode(h256 const& _value) { return _value.asBytes(); }
|
||||||
|
static bytes encode(bytes const& _value, bool _padLeft = true)
|
||||||
|
{
|
||||||
|
bytes padding = bytes((32 - _value.size() % 32) % 32, 0);
|
||||||
|
return _padLeft ? padding + _value : _value + padding;
|
||||||
|
}
|
||||||
|
static bytes encode(std::string const& _value) { return encode(asBytes(_value), false); }
|
||||||
|
template <class _T>
|
||||||
|
static bytes encode(std::vector<_T> const& _value)
|
||||||
|
{
|
||||||
|
bytes ret;
|
||||||
|
for (auto const& v: _value)
|
||||||
|
ret += encode(v);
|
||||||
|
return ret;
|
||||||
|
}
|
||||||
|
|
||||||
|
template <class FirstArg, class... Args>
|
||||||
|
static bytes encodeArgs(FirstArg const& _firstArg, Args const&... _followingArgs)
|
||||||
|
{
|
||||||
|
return encode(_firstArg) + encodeArgs(_followingArgs...);
|
||||||
|
}
|
||||||
|
static bytes encodeArgs()
|
||||||
|
{
|
||||||
|
return bytes();
|
||||||
|
}
|
||||||
|
//@todo might be extended in the future
|
||||||
|
template <class Arg>
|
||||||
|
static bytes encodeDyn(Arg const& _arg)
|
||||||
|
{
|
||||||
|
return encodeArgs(u256(0x20), u256(_arg.size()), _arg);
|
||||||
|
}
|
||||||
|
class ContractInterface
|
||||||
|
{
|
||||||
|
public:
|
||||||
|
ContractInterface(ExecutionFramework& _framework): m_framework(_framework) {}
|
||||||
|
|
||||||
|
void setNextValue(u256 const& _value) { m_nextValue = _value; }
|
||||||
|
|
||||||
|
protected:
|
||||||
|
template <class... Args>
|
||||||
|
bytes const& call(std::string const& _sig, Args const&... _arguments)
|
||||||
|
{
|
||||||
|
auto const& ret = m_framework.callContractFunctionWithValue(_sig, m_nextValue, _arguments...);
|
||||||
|
m_nextValue = 0;
|
||||||
|
return ret;
|
||||||
|
}
|
||||||
|
|
||||||
|
void callString(std::string const& _name, std::string const& _arg)
|
||||||
|
{
|
||||||
|
BOOST_CHECK(call(_name + "(string)", u256(0x20), _arg.length(), _arg).empty());
|
||||||
|
}
|
||||||
|
|
||||||
|
void callStringAddress(std::string const& _name, std::string const& _arg1, u160 const& _arg2)
|
||||||
|
{
|
||||||
|
BOOST_CHECK(call(_name + "(string,address)", u256(0x40), _arg2, _arg1.length(), _arg1).empty());
|
||||||
|
}
|
||||||
|
|
||||||
|
void callStringAddressBool(std::string const& _name, std::string const& _arg1, u160 const& _arg2, bool _arg3)
|
||||||
|
{
|
||||||
|
BOOST_CHECK(call(_name + "(string,address,bool)", u256(0x60), _arg2, _arg3, _arg1.length(), _arg1).empty());
|
||||||
|
}
|
||||||
|
|
||||||
|
void callStringBytes32(std::string const& _name, std::string const& _arg1, h256 const& _arg2)
|
||||||
|
{
|
||||||
|
BOOST_CHECK(call(_name + "(string,bytes32)", u256(0x40), _arg2, _arg1.length(), _arg1).empty());
|
||||||
|
}
|
||||||
|
|
||||||
|
u160 callStringReturnsAddress(std::string const& _name, std::string const& _arg)
|
||||||
|
{
|
||||||
|
bytes const& ret = call(_name + "(string)", u256(0x20), _arg.length(), _arg);
|
||||||
|
BOOST_REQUIRE(ret.size() == 0x20);
|
||||||
|
BOOST_CHECK(std::count(ret.begin(), ret.begin() + 12, 0) == 12);
|
||||||
|
return eth::abiOut<u160>(ret);
|
||||||
|
}
|
||||||
|
|
||||||
|
std::string callAddressReturnsString(std::string const& _name, u160 const& _arg)
|
||||||
|
{
|
||||||
|
bytesConstRef ret = ref(call(_name + "(address)", _arg));
|
||||||
|
BOOST_REQUIRE(ret.size() >= 0x20);
|
||||||
|
u256 offset = eth::abiOut<u256>(ret);
|
||||||
|
BOOST_REQUIRE_EQUAL(offset, 0x20);
|
||||||
|
u256 len = eth::abiOut<u256>(ret);
|
||||||
|
BOOST_REQUIRE_EQUAL(ret.size(), ((len + 0x1f) / 0x20) * 0x20);
|
||||||
|
return ret.cropped(0, size_t(len)).toString();
|
||||||
|
}
|
||||||
|
|
||||||
|
h256 callStringReturnsBytes32(std::string const& _name, std::string const& _arg)
|
||||||
|
{
|
||||||
|
bytes const& ret = call(_name + "(string)", u256(0x20), _arg.length(), _arg);
|
||||||
|
BOOST_REQUIRE(ret.size() == 0x20);
|
||||||
|
return eth::abiOut<h256>(ret);
|
||||||
|
}
|
||||||
|
|
||||||
|
private:
|
||||||
|
u256 m_nextValue;
|
||||||
|
ExecutionFramework& m_framework;
|
||||||
|
};
|
||||||
|
|
||||||
|
private:
|
||||||
|
template <class CppFunction, class... Args>
|
||||||
|
auto callCppAndEncodeResult(CppFunction const& _cppFunction, Args const&... _arguments)
|
||||||
|
-> typename std::enable_if<std::is_void<decltype(_cppFunction(_arguments...))>::value, bytes>::type
|
||||||
|
{
|
||||||
|
_cppFunction(_arguments...);
|
||||||
|
return bytes();
|
||||||
|
}
|
||||||
|
template <class CppFunction, class... Args>
|
||||||
|
auto callCppAndEncodeResult(CppFunction const& _cppFunction, Args const&... _arguments)
|
||||||
|
-> typename std::enable_if<!std::is_void<decltype(_cppFunction(_arguments...))>::value, bytes>::type
|
||||||
|
{
|
||||||
|
return encode(_cppFunction(_arguments...));
|
||||||
|
}
|
||||||
|
|
||||||
|
protected:
|
||||||
|
void sendMessage(bytes const& _data, bool _isCreation, u256 const& _value = 0);
|
||||||
|
void sendEther(Address const& _to, u256 const& _value);
|
||||||
|
size_t currentTimestamp();
|
||||||
|
|
||||||
|
/// @returns the (potentially newly created) _ith address.
|
||||||
|
Address account(size_t _i);
|
||||||
|
|
||||||
|
u256 balanceAt(Address const& _addr);
|
||||||
|
bool storageEmpty(Address const& _addr);
|
||||||
|
bool addressHasCode(Address const& _addr);
|
||||||
|
|
||||||
|
RPCSession& m_rpc;
|
||||||
|
|
||||||
|
struct LogEntry
|
||||||
|
{
|
||||||
|
Address address;
|
||||||
|
std::vector<h256> topics;
|
||||||
|
bytes data;
|
||||||
|
};
|
||||||
|
|
||||||
|
size_t m_optimizeRuns = 200;
|
||||||
|
bool m_optimize = false;
|
||||||
|
Address m_sender;
|
||||||
|
Address m_contractAddress;
|
||||||
|
u256 const m_gasPrice = 100 * szabo;
|
||||||
|
u256 const m_gas = 100000000;
|
||||||
|
bytes m_output;
|
||||||
|
std::vector<LogEntry> m_logs;
|
||||||
|
u256 m_gasUsed;
|
||||||
|
};
|
||||||
|
|
||||||
|
}
|
||||||
|
} // end namespaces
|
||||||
|
|
@ -27,6 +27,7 @@
|
|||||||
#include <test/libsolidity/SolidityExecutionFramework.h>
|
#include <test/libsolidity/SolidityExecutionFramework.h>
|
||||||
|
|
||||||
using namespace std;
|
using namespace std;
|
||||||
|
using namespace dev::test;
|
||||||
|
|
||||||
namespace dev
|
namespace dev
|
||||||
{
|
{
|
||||||
@ -213,7 +214,7 @@ contract GlobalRegistrar is Registrar, AuctionSystem {
|
|||||||
|
|
||||||
static unique_ptr<bytes> s_compiledRegistrar;
|
static unique_ptr<bytes> s_compiledRegistrar;
|
||||||
|
|
||||||
class AuctionRegistrarTestFramework: public ExecutionFramework
|
class AuctionRegistrarTestFramework: public SolidityExecutionFramework
|
||||||
{
|
{
|
||||||
protected:
|
protected:
|
||||||
void deployRegistrar()
|
void deployRegistrar()
|
||||||
@ -229,11 +230,11 @@ protected:
|
|||||||
BOOST_REQUIRE(!m_output.empty());
|
BOOST_REQUIRE(!m_output.empty());
|
||||||
}
|
}
|
||||||
|
|
||||||
using ContractInterface = ExecutionFramework::ContractInterface;
|
using ContractInterface = SolidityExecutionFramework::ContractInterface;
|
||||||
class RegistrarInterface: public ContractInterface
|
class RegistrarInterface: public ContractInterface
|
||||||
{
|
{
|
||||||
public:
|
public:
|
||||||
RegistrarInterface(ExecutionFramework& _framework): ContractInterface(_framework) {}
|
RegistrarInterface(SolidityExecutionFramework& _framework): ContractInterface(_framework) {}
|
||||||
void reserve(string const& _name)
|
void reserve(string const& _name)
|
||||||
{
|
{
|
||||||
callString("reserve", _name);
|
callString("reserve", _name);
|
||||||
|
@ -35,6 +35,7 @@
|
|||||||
#include <test/libsolidity/SolidityExecutionFramework.h>
|
#include <test/libsolidity/SolidityExecutionFramework.h>
|
||||||
|
|
||||||
using namespace std;
|
using namespace std;
|
||||||
|
using namespace dev::test;
|
||||||
|
|
||||||
namespace dev
|
namespace dev
|
||||||
{
|
{
|
||||||
@ -125,7 +126,7 @@ contract FixedFeeRegistrar is Registrar {
|
|||||||
|
|
||||||
static unique_ptr<bytes> s_compiledRegistrar;
|
static unique_ptr<bytes> s_compiledRegistrar;
|
||||||
|
|
||||||
class RegistrarTestFramework: public ExecutionFramework
|
class RegistrarTestFramework: public SolidityExecutionFramework
|
||||||
{
|
{
|
||||||
protected:
|
protected:
|
||||||
void deployRegistrar()
|
void deployRegistrar()
|
||||||
|
@ -35,6 +35,7 @@
|
|||||||
#include <test/libsolidity/SolidityExecutionFramework.h>
|
#include <test/libsolidity/SolidityExecutionFramework.h>
|
||||||
|
|
||||||
using namespace std;
|
using namespace std;
|
||||||
|
using namespace dev::test;
|
||||||
|
|
||||||
namespace dev
|
namespace dev
|
||||||
{
|
{
|
||||||
@ -435,7 +436,7 @@ contract Wallet is multisig, multiowned, daylimit {
|
|||||||
|
|
||||||
static unique_ptr<bytes> s_compiledWallet;
|
static unique_ptr<bytes> s_compiledWallet;
|
||||||
|
|
||||||
class WalletTestFramework: public ExecutionFramework
|
class WalletTestFramework: public SolidityExecutionFramework
|
||||||
{
|
{
|
||||||
protected:
|
protected:
|
||||||
void deployWallet(
|
void deployWallet(
|
||||||
|
50
test/liblll/EndToEndTest.cpp
Normal file
50
test/liblll/EndToEndTest.cpp
Normal file
@ -0,0 +1,50 @@
|
|||||||
|
/*
|
||||||
|
This file is part of solidity.
|
||||||
|
|
||||||
|
solidity 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.
|
||||||
|
|
||||||
|
solidity 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 solidity. If not, see <http://www.gnu.org/licenses/>.
|
||||||
|
*/
|
||||||
|
/**
|
||||||
|
* @author Alex Beregszaszi
|
||||||
|
* @date 2016
|
||||||
|
* End to end tests for LLL.
|
||||||
|
*/
|
||||||
|
|
||||||
|
#include <string>
|
||||||
|
#include <memory>
|
||||||
|
#include <boost/test/unit_test.hpp>
|
||||||
|
#include <test/liblll/ExecutionFramework.h>
|
||||||
|
|
||||||
|
using namespace std;
|
||||||
|
|
||||||
|
namespace dev
|
||||||
|
{
|
||||||
|
namespace lll
|
||||||
|
{
|
||||||
|
namespace test
|
||||||
|
{
|
||||||
|
|
||||||
|
BOOST_FIXTURE_TEST_SUITE(LLLEndToEndTest, LLLExecutionFramework)
|
||||||
|
|
||||||
|
BOOST_AUTO_TEST_CASE(smoke_test)
|
||||||
|
{
|
||||||
|
char const* sourceCode = "(returnlll { (return \"test\") })";
|
||||||
|
compileAndRun(sourceCode);
|
||||||
|
BOOST_CHECK(callFallback() == encodeArgs(string("test", 4)));
|
||||||
|
}
|
||||||
|
|
||||||
|
BOOST_AUTO_TEST_SUITE_END()
|
||||||
|
|
||||||
|
}
|
||||||
|
}
|
||||||
|
} // end namespaces
|
33
test/liblll/ExecutionFramework.cpp
Normal file
33
test/liblll/ExecutionFramework.cpp
Normal file
@ -0,0 +1,33 @@
|
|||||||
|
/*
|
||||||
|
This file is part of solidity.
|
||||||
|
|
||||||
|
solidity 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.
|
||||||
|
|
||||||
|
solidity 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 solidity. If not, see <http://www.gnu.org/licenses/>.
|
||||||
|
*/
|
||||||
|
/**
|
||||||
|
* @author Alex Beregszaszi
|
||||||
|
* @date 2016
|
||||||
|
* Framework for executing LLL contracts and testing them via RPC.
|
||||||
|
*/
|
||||||
|
|
||||||
|
#include <cstdlib>
|
||||||
|
#include <boost/test/framework.hpp>
|
||||||
|
#include <test/liblll/ExecutionFramework.h>
|
||||||
|
|
||||||
|
using namespace dev::test;
|
||||||
|
using namespace dev::lll::test;
|
||||||
|
|
||||||
|
LLLExecutionFramework::LLLExecutionFramework() :
|
||||||
|
ExecutionFramework()
|
||||||
|
{
|
||||||
|
}
|
73
test/liblll/ExecutionFramework.h
Normal file
73
test/liblll/ExecutionFramework.h
Normal file
@ -0,0 +1,73 @@
|
|||||||
|
/*
|
||||||
|
This file is part of solidity.
|
||||||
|
|
||||||
|
solidity 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.
|
||||||
|
|
||||||
|
solidity 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 solidity. If not, see <http://www.gnu.org/licenses/>.
|
||||||
|
*/
|
||||||
|
/**
|
||||||
|
* @author Alex Beregszaszi
|
||||||
|
* @date 2016
|
||||||
|
* Framework for executing LLL contracts and testing them via RPC.
|
||||||
|
*/
|
||||||
|
|
||||||
|
#pragma once
|
||||||
|
|
||||||
|
#include <functional>
|
||||||
|
|
||||||
|
#include "../ExecutionFramework.h"
|
||||||
|
|
||||||
|
#include <liblll/Compiler.h>
|
||||||
|
|
||||||
|
using namespace dev::test;
|
||||||
|
|
||||||
|
namespace dev
|
||||||
|
{
|
||||||
|
namespace lll
|
||||||
|
{
|
||||||
|
|
||||||
|
namespace test
|
||||||
|
{
|
||||||
|
|
||||||
|
class LLLExecutionFramework: public ExecutionFramework
|
||||||
|
{
|
||||||
|
|
||||||
|
public:
|
||||||
|
LLLExecutionFramework();
|
||||||
|
|
||||||
|
virtual bytes const& compileAndRunWithoutCheck(
|
||||||
|
std::string const& _sourceCode,
|
||||||
|
u256 const& _value = 0,
|
||||||
|
std::string const& _contractName = "",
|
||||||
|
bytes const& _arguments = bytes(),
|
||||||
|
std::map<std::string, Address> const& _libraryAddresses = std::map<std::string, Address>()
|
||||||
|
) override
|
||||||
|
{
|
||||||
|
BOOST_REQUIRE(_contractName.empty());
|
||||||
|
BOOST_REQUIRE(_libraryAddresses.empty());
|
||||||
|
|
||||||
|
std::vector<std::string> errors;
|
||||||
|
bytes bytecode = eth::compileLLL(_sourceCode, m_optimize, &errors);
|
||||||
|
if (!errors.empty())
|
||||||
|
{
|
||||||
|
for (auto const& error: errors)
|
||||||
|
std::cerr << error << std::endl;
|
||||||
|
BOOST_ERROR("Compiling contract failed");
|
||||||
|
}
|
||||||
|
sendMessage(bytecode + _arguments, true, _value);
|
||||||
|
return m_output;
|
||||||
|
}
|
||||||
|
};
|
||||||
|
|
||||||
|
}
|
||||||
|
}
|
||||||
|
} // end namespaces
|
179
test/liblll/Parser.cpp
Normal file
179
test/liblll/Parser.cpp
Normal file
@ -0,0 +1,179 @@
|
|||||||
|
/*
|
||||||
|
This file is part of solidity.
|
||||||
|
|
||||||
|
solidity 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.
|
||||||
|
|
||||||
|
solidity 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 solidity. If not, see <http://www.gnu.org/licenses/>.
|
||||||
|
*/
|
||||||
|
/**
|
||||||
|
* @author Alex Beregszaszi
|
||||||
|
* @date 2016
|
||||||
|
* Unit tests for the LLL parser.
|
||||||
|
*/
|
||||||
|
|
||||||
|
#include <string>
|
||||||
|
#include <memory>
|
||||||
|
#include <boost/test/unit_test.hpp>
|
||||||
|
#include <liblll/Compiler.h>
|
||||||
|
|
||||||
|
using namespace std;
|
||||||
|
|
||||||
|
namespace dev
|
||||||
|
{
|
||||||
|
namespace lll
|
||||||
|
{
|
||||||
|
namespace test
|
||||||
|
{
|
||||||
|
|
||||||
|
namespace
|
||||||
|
{
|
||||||
|
|
||||||
|
bool successParse(std::string const& _source)
|
||||||
|
{
|
||||||
|
std::string ret = eth::parseLLL(_source);
|
||||||
|
return ret.size() != 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
std::string parse(std::string const& _source)
|
||||||
|
{
|
||||||
|
return eth::parseLLL(_source);
|
||||||
|
}
|
||||||
|
|
||||||
|
}
|
||||||
|
|
||||||
|
BOOST_AUTO_TEST_SUITE(LLLParser)
|
||||||
|
|
||||||
|
BOOST_AUTO_TEST_CASE(smoke_test)
|
||||||
|
{
|
||||||
|
char const* text = "1";
|
||||||
|
BOOST_CHECK(successParse(text));
|
||||||
|
}
|
||||||
|
|
||||||
|
BOOST_AUTO_TEST_CASE(string)
|
||||||
|
{
|
||||||
|
char const* text = "\"string\"";
|
||||||
|
BOOST_CHECK(successParse(text));
|
||||||
|
BOOST_CHECK_EQUAL(parse(text), R"("string")");
|
||||||
|
}
|
||||||
|
|
||||||
|
BOOST_AUTO_TEST_CASE(symbol)
|
||||||
|
{
|
||||||
|
char const* text = "symbol";
|
||||||
|
BOOST_CHECK(successParse(text));
|
||||||
|
BOOST_CHECK_EQUAL(parse(text), R"(symbol)");
|
||||||
|
|
||||||
|
BOOST_CHECK(successParse("'symbol"));
|
||||||
|
BOOST_CHECK_EQUAL(parse(text), R"(symbol)");
|
||||||
|
}
|
||||||
|
|
||||||
|
BOOST_AUTO_TEST_CASE(decimals)
|
||||||
|
{
|
||||||
|
char const* text = "1234";
|
||||||
|
BOOST_CHECK(successParse(text));
|
||||||
|
BOOST_CHECK_EQUAL(parse(text), R"(1234)");
|
||||||
|
}
|
||||||
|
|
||||||
|
BOOST_AUTO_TEST_CASE(hexadecimals)
|
||||||
|
{
|
||||||
|
char const* text = "0x1234";
|
||||||
|
BOOST_CHECK(successParse(text));
|
||||||
|
BOOST_CHECK_EQUAL(parse(text), R"(4660)");
|
||||||
|
}
|
||||||
|
|
||||||
|
BOOST_AUTO_TEST_CASE(sequence)
|
||||||
|
{
|
||||||
|
char const* text = "{ 1234 }";
|
||||||
|
BOOST_CHECK(successParse(text));
|
||||||
|
BOOST_CHECK_EQUAL(parse(text), R"({ 1234 })");
|
||||||
|
}
|
||||||
|
|
||||||
|
BOOST_AUTO_TEST_CASE(empty_sequence)
|
||||||
|
{
|
||||||
|
char const* text = "{}";
|
||||||
|
BOOST_CHECK(successParse(text));
|
||||||
|
BOOST_CHECK_EQUAL(parse(text), R"({ })");
|
||||||
|
}
|
||||||
|
|
||||||
|
BOOST_AUTO_TEST_CASE(mload)
|
||||||
|
{
|
||||||
|
char const* text = "@0";
|
||||||
|
BOOST_CHECK(successParse(text));
|
||||||
|
BOOST_CHECK_EQUAL(parse(text), R"(@ 0)");
|
||||||
|
|
||||||
|
BOOST_CHECK(successParse("@0x0"));
|
||||||
|
BOOST_CHECK(successParse("@symbol"));
|
||||||
|
BOOST_CHECK(!successParse("@"));
|
||||||
|
}
|
||||||
|
|
||||||
|
BOOST_AUTO_TEST_CASE(sload)
|
||||||
|
{
|
||||||
|
char const* text = "@@0";
|
||||||
|
BOOST_CHECK(successParse(text));
|
||||||
|
BOOST_CHECK_EQUAL(parse(text), R"(@@ 0)");
|
||||||
|
|
||||||
|
BOOST_CHECK(successParse("@@0x0"));
|
||||||
|
BOOST_CHECK(successParse("@@symbol"));
|
||||||
|
BOOST_CHECK(!successParse("@@"));
|
||||||
|
}
|
||||||
|
|
||||||
|
BOOST_AUTO_TEST_CASE(mstore)
|
||||||
|
{
|
||||||
|
char const* text = "[0]:0";
|
||||||
|
BOOST_CHECK(successParse(text));
|
||||||
|
BOOST_CHECK_EQUAL(parse(text), R"([ 0 ] 0)");
|
||||||
|
|
||||||
|
BOOST_CHECK(successParse("[0] 0"));
|
||||||
|
BOOST_CHECK(successParse("[0x0]:0x0"));
|
||||||
|
BOOST_CHECK(successParse("[symbol]:symbol"));
|
||||||
|
BOOST_CHECK(!successParse("[]"));
|
||||||
|
BOOST_CHECK(!successParse("[0]"));
|
||||||
|
}
|
||||||
|
|
||||||
|
BOOST_AUTO_TEST_CASE(sstore)
|
||||||
|
{
|
||||||
|
char const* text = "[[0]]:0";
|
||||||
|
BOOST_CHECK(successParse(text));
|
||||||
|
BOOST_CHECK_EQUAL(parse(text), R"([[ 0 ]] 0)");
|
||||||
|
|
||||||
|
BOOST_CHECK(successParse("[[0]] 0"));
|
||||||
|
BOOST_CHECK(successParse("[[0x0]]:0x0"));
|
||||||
|
BOOST_CHECK(successParse("[[symbol]]:symbol"));
|
||||||
|
BOOST_CHECK(!successParse("[[]]"));
|
||||||
|
BOOST_CHECK(!successParse("[[0x0]]"));
|
||||||
|
}
|
||||||
|
|
||||||
|
BOOST_AUTO_TEST_CASE(calldataload)
|
||||||
|
{
|
||||||
|
char const* text = "$0";
|
||||||
|
BOOST_CHECK(successParse(text));
|
||||||
|
BOOST_CHECK_EQUAL(parse(text), R"($ 0)");
|
||||||
|
|
||||||
|
BOOST_CHECK(successParse("$0x0"));
|
||||||
|
BOOST_CHECK(successParse("$symbol"));
|
||||||
|
BOOST_CHECK(!successParse("$"));
|
||||||
|
}
|
||||||
|
|
||||||
|
BOOST_AUTO_TEST_CASE(list)
|
||||||
|
{
|
||||||
|
char const* text = "( 1234 )";
|
||||||
|
BOOST_CHECK(successParse(text));
|
||||||
|
BOOST_CHECK_EQUAL(parse(text), R"(( 1234 ))");
|
||||||
|
|
||||||
|
BOOST_CHECK(successParse("( 1234 5467 )"));
|
||||||
|
BOOST_CHECK(successParse("()"));
|
||||||
|
}
|
||||||
|
|
||||||
|
BOOST_AUTO_TEST_SUITE_END()
|
||||||
|
|
||||||
|
}
|
||||||
|
}
|
||||||
|
} // end namespaces
|
@ -32,6 +32,7 @@
|
|||||||
using namespace std;
|
using namespace std;
|
||||||
using namespace dev::eth;
|
using namespace dev::eth;
|
||||||
using namespace dev::solidity;
|
using namespace dev::solidity;
|
||||||
|
using namespace dev::test;
|
||||||
|
|
||||||
namespace dev
|
namespace dev
|
||||||
{
|
{
|
||||||
@ -40,7 +41,7 @@ namespace solidity
|
|||||||
namespace test
|
namespace test
|
||||||
{
|
{
|
||||||
|
|
||||||
class GasMeterTestFramework: public ExecutionFramework
|
class GasMeterTestFramework: public SolidityExecutionFramework
|
||||||
{
|
{
|
||||||
public:
|
public:
|
||||||
GasMeterTestFramework() { }
|
GasMeterTestFramework() { }
|
||||||
|
@ -25,11 +25,13 @@
|
|||||||
#include <string>
|
#include <string>
|
||||||
#include <tuple>
|
#include <tuple>
|
||||||
#include <boost/test/unit_test.hpp>
|
#include <boost/test/unit_test.hpp>
|
||||||
|
#include <libevmasm/Assembly.h>
|
||||||
#include <libsolidity/interface/Exceptions.h>
|
#include <libsolidity/interface/Exceptions.h>
|
||||||
#include <test/libsolidity/SolidityExecutionFramework.h>
|
#include <test/libsolidity/SolidityExecutionFramework.h>
|
||||||
|
|
||||||
using namespace std;
|
using namespace std;
|
||||||
using namespace std::placeholders;
|
using namespace std::placeholders;
|
||||||
|
using namespace dev::test;
|
||||||
|
|
||||||
namespace dev
|
namespace dev
|
||||||
{
|
{
|
||||||
@ -38,7 +40,7 @@ namespace solidity
|
|||||||
namespace test
|
namespace test
|
||||||
{
|
{
|
||||||
|
|
||||||
BOOST_FIXTURE_TEST_SUITE(SolidityEndToEndTest, ExecutionFramework)
|
BOOST_FIXTURE_TEST_SUITE(SolidityEndToEndTest, SolidityExecutionFramework)
|
||||||
|
|
||||||
BOOST_AUTO_TEST_CASE(smoke_test)
|
BOOST_AUTO_TEST_CASE(smoke_test)
|
||||||
{
|
{
|
||||||
@ -46,7 +48,7 @@ BOOST_AUTO_TEST_CASE(smoke_test)
|
|||||||
" function f(uint a) returns(uint d) { return a * 7; }\n"
|
" function f(uint a) returns(uint d) { return a * 7; }\n"
|
||||||
"}\n";
|
"}\n";
|
||||||
compileAndRun(sourceCode);
|
compileAndRun(sourceCode);
|
||||||
testSolidityAgainstCppOnRange("f(uint256)", [](u256 const& a) -> u256 { return a * 7; }, 0, 100);
|
testContractAgainstCppOnRange("f(uint256)", [](u256 const& a) -> u256 { return a * 7; }, 0, 100);
|
||||||
}
|
}
|
||||||
|
|
||||||
BOOST_AUTO_TEST_CASE(empty_contract)
|
BOOST_AUTO_TEST_CASE(empty_contract)
|
||||||
@ -64,7 +66,7 @@ BOOST_AUTO_TEST_CASE(exp_operator)
|
|||||||
function f(uint a) returns(uint d) { return 2 ** a; }
|
function f(uint a) returns(uint d) { return 2 ** a; }
|
||||||
})";
|
})";
|
||||||
compileAndRun(sourceCode);
|
compileAndRun(sourceCode);
|
||||||
testSolidityAgainstCppOnRange("f(uint256)", [](u256 const& a) -> u256 { return u256(1 << a.convert_to<int>()); }, 0, 16);
|
testContractAgainstCppOnRange("f(uint256)", [](u256 const& a) -> u256 { return u256(1 << a.convert_to<int>()); }, 0, 16);
|
||||||
}
|
}
|
||||||
|
|
||||||
BOOST_AUTO_TEST_CASE(exp_operator_const)
|
BOOST_AUTO_TEST_CASE(exp_operator_const)
|
||||||
@ -290,7 +292,7 @@ BOOST_AUTO_TEST_CASE(recursive_calls)
|
|||||||
return n * recursive_calls_cpp(n - 1);
|
return n * recursive_calls_cpp(n - 1);
|
||||||
};
|
};
|
||||||
|
|
||||||
testSolidityAgainstCppOnRange("f(uint256)", recursive_calls_cpp, 0, 5);
|
testContractAgainstCppOnRange("f(uint256)", recursive_calls_cpp, 0, 5);
|
||||||
}
|
}
|
||||||
|
|
||||||
BOOST_AUTO_TEST_CASE(multiple_functions)
|
BOOST_AUTO_TEST_CASE(multiple_functions)
|
||||||
@ -350,7 +352,7 @@ BOOST_AUTO_TEST_CASE(while_loop)
|
|||||||
return nfac;
|
return nfac;
|
||||||
};
|
};
|
||||||
|
|
||||||
testSolidityAgainstCppOnRange("f(uint256)", while_loop_cpp, 0, 5);
|
testContractAgainstCppOnRange("f(uint256)", while_loop_cpp, 0, 5);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
@ -378,7 +380,7 @@ BOOST_AUTO_TEST_CASE(do_while_loop)
|
|||||||
return nfac;
|
return nfac;
|
||||||
};
|
};
|
||||||
|
|
||||||
testSolidityAgainstCppOnRange("f(uint256)", do_while_loop_cpp, 0, 5);
|
testContractAgainstCppOnRange("f(uint256)", do_while_loop_cpp, 0, 5);
|
||||||
}
|
}
|
||||||
|
|
||||||
BOOST_AUTO_TEST_CASE(nested_loops)
|
BOOST_AUTO_TEST_CASE(nested_loops)
|
||||||
@ -427,7 +429,7 @@ BOOST_AUTO_TEST_CASE(nested_loops)
|
|||||||
return n;
|
return n;
|
||||||
};
|
};
|
||||||
|
|
||||||
testSolidityAgainstCppOnRange("f(uint256)", nested_loops_cpp, 0, 12);
|
testContractAgainstCppOnRange("f(uint256)", nested_loops_cpp, 0, 12);
|
||||||
}
|
}
|
||||||
|
|
||||||
BOOST_AUTO_TEST_CASE(for_loop)
|
BOOST_AUTO_TEST_CASE(for_loop)
|
||||||
@ -449,7 +451,7 @@ BOOST_AUTO_TEST_CASE(for_loop)
|
|||||||
return nfac;
|
return nfac;
|
||||||
};
|
};
|
||||||
|
|
||||||
testSolidityAgainstCppOnRange("f(uint256)", for_loop_cpp, 0, 5);
|
testContractAgainstCppOnRange("f(uint256)", for_loop_cpp, 0, 5);
|
||||||
}
|
}
|
||||||
|
|
||||||
BOOST_AUTO_TEST_CASE(for_loop_empty)
|
BOOST_AUTO_TEST_CASE(for_loop_empty)
|
||||||
@ -477,7 +479,7 @@ BOOST_AUTO_TEST_CASE(for_loop_empty)
|
|||||||
return ret;
|
return ret;
|
||||||
};
|
};
|
||||||
|
|
||||||
testSolidityAgainstCpp("f()", for_loop_empty_cpp);
|
testContractAgainstCpp("f()", for_loop_empty_cpp);
|
||||||
}
|
}
|
||||||
|
|
||||||
BOOST_AUTO_TEST_CASE(for_loop_simple_init_expr)
|
BOOST_AUTO_TEST_CASE(for_loop_simple_init_expr)
|
||||||
@ -501,7 +503,7 @@ BOOST_AUTO_TEST_CASE(for_loop_simple_init_expr)
|
|||||||
return nfac;
|
return nfac;
|
||||||
};
|
};
|
||||||
|
|
||||||
testSolidityAgainstCppOnRange("f(uint256)", for_loop_simple_init_expr_cpp, 0, 5);
|
testContractAgainstCppOnRange("f(uint256)", for_loop_simple_init_expr_cpp, 0, 5);
|
||||||
}
|
}
|
||||||
|
|
||||||
BOOST_AUTO_TEST_CASE(for_loop_break_continue)
|
BOOST_AUTO_TEST_CASE(for_loop_break_continue)
|
||||||
@ -547,7 +549,7 @@ BOOST_AUTO_TEST_CASE(for_loop_break_continue)
|
|||||||
return i;
|
return i;
|
||||||
};
|
};
|
||||||
|
|
||||||
testSolidityAgainstCppOnRange("f(uint256)", breakContinue, 0, 10);
|
testContractAgainstCppOnRange("f(uint256)", breakContinue, 0, 10);
|
||||||
}
|
}
|
||||||
|
|
||||||
BOOST_AUTO_TEST_CASE(calling_other_functions)
|
BOOST_AUTO_TEST_CASE(calling_other_functions)
|
||||||
@ -591,11 +593,11 @@ BOOST_AUTO_TEST_CASE(calling_other_functions)
|
|||||||
return y;
|
return y;
|
||||||
};
|
};
|
||||||
|
|
||||||
testSolidityAgainstCpp("run(uint256)", collatz_cpp, u256(0));
|
testContractAgainstCpp("run(uint256)", collatz_cpp, u256(0));
|
||||||
testSolidityAgainstCpp("run(uint256)", collatz_cpp, u256(1));
|
testContractAgainstCpp("run(uint256)", collatz_cpp, u256(1));
|
||||||
testSolidityAgainstCpp("run(uint256)", collatz_cpp, u256(2));
|
testContractAgainstCpp("run(uint256)", collatz_cpp, u256(2));
|
||||||
testSolidityAgainstCpp("run(uint256)", collatz_cpp, u256(8));
|
testContractAgainstCpp("run(uint256)", collatz_cpp, u256(8));
|
||||||
testSolidityAgainstCpp("run(uint256)", collatz_cpp, u256(127));
|
testContractAgainstCpp("run(uint256)", collatz_cpp, u256(127));
|
||||||
}
|
}
|
||||||
|
|
||||||
BOOST_AUTO_TEST_CASE(many_local_variables)
|
BOOST_AUTO_TEST_CASE(many_local_variables)
|
||||||
@ -616,7 +618,7 @@ BOOST_AUTO_TEST_CASE(many_local_variables)
|
|||||||
u256 y = a + b + c + x1 + x2 + x3;
|
u256 y = a + b + c + x1 + x2 + x3;
|
||||||
return y + b + x2;
|
return y + b + x2;
|
||||||
};
|
};
|
||||||
testSolidityAgainstCpp("run(uint256,uint256,uint256)", f, u256(0x1000), u256(0x10000), u256(0x100000));
|
testContractAgainstCpp("run(uint256,uint256,uint256)", f, u256(0x1000), u256(0x10000), u256(0x100000));
|
||||||
}
|
}
|
||||||
|
|
||||||
BOOST_AUTO_TEST_CASE(packing_unpacking_types)
|
BOOST_AUTO_TEST_CASE(packing_unpacking_types)
|
||||||
@ -673,7 +675,7 @@ BOOST_AUTO_TEST_CASE(short_circuiting)
|
|||||||
return n;
|
return n;
|
||||||
};
|
};
|
||||||
|
|
||||||
testSolidityAgainstCppOnRange("run(uint256)", short_circuiting_cpp, 0, 2);
|
testContractAgainstCppOnRange("run(uint256)", short_circuiting_cpp, 0, 2);
|
||||||
}
|
}
|
||||||
|
|
||||||
BOOST_AUTO_TEST_CASE(high_bits_cleaning)
|
BOOST_AUTO_TEST_CASE(high_bits_cleaning)
|
||||||
@ -695,7 +697,7 @@ BOOST_AUTO_TEST_CASE(high_bits_cleaning)
|
|||||||
return 0;
|
return 0;
|
||||||
return x;
|
return x;
|
||||||
};
|
};
|
||||||
testSolidityAgainstCpp("run()", high_bits_cleaning_cpp);
|
testContractAgainstCpp("run()", high_bits_cleaning_cpp);
|
||||||
}
|
}
|
||||||
|
|
||||||
BOOST_AUTO_TEST_CASE(sign_extension)
|
BOOST_AUTO_TEST_CASE(sign_extension)
|
||||||
@ -715,7 +717,7 @@ BOOST_AUTO_TEST_CASE(sign_extension)
|
|||||||
return 0;
|
return 0;
|
||||||
return u256(x) * -1;
|
return u256(x) * -1;
|
||||||
};
|
};
|
||||||
testSolidityAgainstCpp("run()", sign_extension_cpp);
|
testContractAgainstCpp("run()", sign_extension_cpp);
|
||||||
}
|
}
|
||||||
|
|
||||||
BOOST_AUTO_TEST_CASE(small_unsigned_types)
|
BOOST_AUTO_TEST_CASE(small_unsigned_types)
|
||||||
@ -734,7 +736,7 @@ BOOST_AUTO_TEST_CASE(small_unsigned_types)
|
|||||||
uint32_t x = t * 0xffffff;
|
uint32_t x = t * 0xffffff;
|
||||||
return x / 0x100;
|
return x / 0x100;
|
||||||
};
|
};
|
||||||
testSolidityAgainstCpp("run()", small_unsigned_types_cpp);
|
testContractAgainstCpp("run()", small_unsigned_types_cpp);
|
||||||
}
|
}
|
||||||
|
|
||||||
BOOST_AUTO_TEST_CASE(small_signed_types)
|
BOOST_AUTO_TEST_CASE(small_signed_types)
|
||||||
@ -749,7 +751,7 @@ BOOST_AUTO_TEST_CASE(small_signed_types)
|
|||||||
{
|
{
|
||||||
return -int32_t(10) * -int64_t(20);
|
return -int32_t(10) * -int64_t(20);
|
||||||
};
|
};
|
||||||
testSolidityAgainstCpp("run()", small_signed_types_cpp);
|
testContractAgainstCpp("run()", small_signed_types_cpp);
|
||||||
}
|
}
|
||||||
|
|
||||||
BOOST_AUTO_TEST_CASE(strings)
|
BOOST_AUTO_TEST_CASE(strings)
|
||||||
@ -855,14 +857,14 @@ BOOST_AUTO_TEST_CASE(compound_assign)
|
|||||||
value2 *= value3 + value1;
|
value2 *= value3 + value1;
|
||||||
return value2 += 7;
|
return value2 += 7;
|
||||||
};
|
};
|
||||||
testSolidityAgainstCpp("f(uint256,uint256)", f, u256(0), u256(6));
|
testContractAgainstCpp("f(uint256,uint256)", f, u256(0), u256(6));
|
||||||
testSolidityAgainstCpp("f(uint256,uint256)", f, u256(1), u256(3));
|
testContractAgainstCpp("f(uint256,uint256)", f, u256(1), u256(3));
|
||||||
testSolidityAgainstCpp("f(uint256,uint256)", f, u256(2), u256(25));
|
testContractAgainstCpp("f(uint256,uint256)", f, u256(2), u256(25));
|
||||||
testSolidityAgainstCpp("f(uint256,uint256)", f, u256(3), u256(69));
|
testContractAgainstCpp("f(uint256,uint256)", f, u256(3), u256(69));
|
||||||
testSolidityAgainstCpp("f(uint256,uint256)", f, u256(4), u256(84));
|
testContractAgainstCpp("f(uint256,uint256)", f, u256(4), u256(84));
|
||||||
testSolidityAgainstCpp("f(uint256,uint256)", f, u256(5), u256(2));
|
testContractAgainstCpp("f(uint256,uint256)", f, u256(5), u256(2));
|
||||||
testSolidityAgainstCpp("f(uint256,uint256)", f, u256(6), u256(51));
|
testContractAgainstCpp("f(uint256,uint256)", f, u256(6), u256(51));
|
||||||
testSolidityAgainstCpp("f(uint256,uint256)", f, u256(7), u256(48));
|
testContractAgainstCpp("f(uint256,uint256)", f, u256(7), u256(48));
|
||||||
}
|
}
|
||||||
|
|
||||||
BOOST_AUTO_TEST_CASE(simple_mapping)
|
BOOST_AUTO_TEST_CASE(simple_mapping)
|
||||||
@ -936,38 +938,38 @@ BOOST_AUTO_TEST_CASE(mapping_state)
|
|||||||
auto getVoteCount = bind(&Ballot::getVoteCount, &ballot, _1);
|
auto getVoteCount = bind(&Ballot::getVoteCount, &ballot, _1);
|
||||||
auto grantVoteRight = bind(&Ballot::grantVoteRight, &ballot, _1);
|
auto grantVoteRight = bind(&Ballot::grantVoteRight, &ballot, _1);
|
||||||
auto vote = bind(&Ballot::vote, &ballot, _1, _2);
|
auto vote = bind(&Ballot::vote, &ballot, _1, _2);
|
||||||
testSolidityAgainstCpp("getVoteCount(address)", getVoteCount, u160(0));
|
testContractAgainstCpp("getVoteCount(address)", getVoteCount, u160(0));
|
||||||
testSolidityAgainstCpp("getVoteCount(address)", getVoteCount, u160(1));
|
testContractAgainstCpp("getVoteCount(address)", getVoteCount, u160(1));
|
||||||
testSolidityAgainstCpp("getVoteCount(address)", getVoteCount, u160(2));
|
testContractAgainstCpp("getVoteCount(address)", getVoteCount, u160(2));
|
||||||
// voting without vote right should be rejected
|
// voting without vote right should be rejected
|
||||||
testSolidityAgainstCpp("vote(address,address)", vote, u160(0), u160(2));
|
testContractAgainstCpp("vote(address,address)", vote, u160(0), u160(2));
|
||||||
testSolidityAgainstCpp("getVoteCount(address)", getVoteCount, u160(0));
|
testContractAgainstCpp("getVoteCount(address)", getVoteCount, u160(0));
|
||||||
testSolidityAgainstCpp("getVoteCount(address)", getVoteCount, u160(1));
|
testContractAgainstCpp("getVoteCount(address)", getVoteCount, u160(1));
|
||||||
testSolidityAgainstCpp("getVoteCount(address)", getVoteCount, u160(2));
|
testContractAgainstCpp("getVoteCount(address)", getVoteCount, u160(2));
|
||||||
// grant vote rights
|
// grant vote rights
|
||||||
testSolidityAgainstCpp("grantVoteRight(address)", grantVoteRight, u160(0));
|
testContractAgainstCpp("grantVoteRight(address)", grantVoteRight, u160(0));
|
||||||
testSolidityAgainstCpp("grantVoteRight(address)", grantVoteRight, u160(1));
|
testContractAgainstCpp("grantVoteRight(address)", grantVoteRight, u160(1));
|
||||||
// vote, should increase 2's vote count
|
// vote, should increase 2's vote count
|
||||||
testSolidityAgainstCpp("vote(address,address)", vote, u160(0), u160(2));
|
testContractAgainstCpp("vote(address,address)", vote, u160(0), u160(2));
|
||||||
testSolidityAgainstCpp("getVoteCount(address)", getVoteCount, u160(0));
|
testContractAgainstCpp("getVoteCount(address)", getVoteCount, u160(0));
|
||||||
testSolidityAgainstCpp("getVoteCount(address)", getVoteCount, u160(1));
|
testContractAgainstCpp("getVoteCount(address)", getVoteCount, u160(1));
|
||||||
testSolidityAgainstCpp("getVoteCount(address)", getVoteCount, u160(2));
|
testContractAgainstCpp("getVoteCount(address)", getVoteCount, u160(2));
|
||||||
// vote again, should be rejected
|
// vote again, should be rejected
|
||||||
testSolidityAgainstCpp("vote(address,address)", vote, u160(0), u160(1));
|
testContractAgainstCpp("vote(address,address)", vote, u160(0), u160(1));
|
||||||
testSolidityAgainstCpp("getVoteCount(address)", getVoteCount, u160(0));
|
testContractAgainstCpp("getVoteCount(address)", getVoteCount, u160(0));
|
||||||
testSolidityAgainstCpp("getVoteCount(address)", getVoteCount, u160(1));
|
testContractAgainstCpp("getVoteCount(address)", getVoteCount, u160(1));
|
||||||
testSolidityAgainstCpp("getVoteCount(address)", getVoteCount, u160(2));
|
testContractAgainstCpp("getVoteCount(address)", getVoteCount, u160(2));
|
||||||
// vote without right to vote
|
// vote without right to vote
|
||||||
testSolidityAgainstCpp("vote(address,address)", vote, u160(2), u160(1));
|
testContractAgainstCpp("vote(address,address)", vote, u160(2), u160(1));
|
||||||
testSolidityAgainstCpp("getVoteCount(address)", getVoteCount, u160(0));
|
testContractAgainstCpp("getVoteCount(address)", getVoteCount, u160(0));
|
||||||
testSolidityAgainstCpp("getVoteCount(address)", getVoteCount, u160(1));
|
testContractAgainstCpp("getVoteCount(address)", getVoteCount, u160(1));
|
||||||
testSolidityAgainstCpp("getVoteCount(address)", getVoteCount, u160(2));
|
testContractAgainstCpp("getVoteCount(address)", getVoteCount, u160(2));
|
||||||
// grant vote right and now vote again
|
// grant vote right and now vote again
|
||||||
testSolidityAgainstCpp("grantVoteRight(address)", grantVoteRight, u160(2));
|
testContractAgainstCpp("grantVoteRight(address)", grantVoteRight, u160(2));
|
||||||
testSolidityAgainstCpp("vote(address,address)", vote, u160(2), u160(1));
|
testContractAgainstCpp("vote(address,address)", vote, u160(2), u160(1));
|
||||||
testSolidityAgainstCpp("getVoteCount(address)", getVoteCount, u160(0));
|
testContractAgainstCpp("getVoteCount(address)", getVoteCount, u160(0));
|
||||||
testSolidityAgainstCpp("getVoteCount(address)", getVoteCount, u160(1));
|
testContractAgainstCpp("getVoteCount(address)", getVoteCount, u160(1));
|
||||||
testSolidityAgainstCpp("getVoteCount(address)", getVoteCount, u160(2));
|
testContractAgainstCpp("getVoteCount(address)", getVoteCount, u160(2));
|
||||||
}
|
}
|
||||||
|
|
||||||
BOOST_AUTO_TEST_CASE(mapping_state_inc_dec)
|
BOOST_AUTO_TEST_CASE(mapping_state_inc_dec)
|
||||||
@ -998,7 +1000,7 @@ BOOST_AUTO_TEST_CASE(mapping_state_inc_dec)
|
|||||||
table[value]++;
|
table[value]++;
|
||||||
return --table[value++];
|
return --table[value++];
|
||||||
};
|
};
|
||||||
testSolidityAgainstCppOnRange("f(uint256)", f, 0, 5);
|
testContractAgainstCppOnRange("f(uint256)", f, 0, 5);
|
||||||
}
|
}
|
||||||
|
|
||||||
BOOST_AUTO_TEST_CASE(multi_level_mapping)
|
BOOST_AUTO_TEST_CASE(multi_level_mapping)
|
||||||
@ -1018,14 +1020,14 @@ BOOST_AUTO_TEST_CASE(multi_level_mapping)
|
|||||||
if (_z == 0) return table[_x][_y];
|
if (_z == 0) return table[_x][_y];
|
||||||
else return table[_x][_y] = _z;
|
else return table[_x][_y] = _z;
|
||||||
};
|
};
|
||||||
testSolidityAgainstCpp("f(uint256,uint256,uint256)", f, u256(4), u256(5), u256(0));
|
testContractAgainstCpp("f(uint256,uint256,uint256)", f, u256(4), u256(5), u256(0));
|
||||||
testSolidityAgainstCpp("f(uint256,uint256,uint256)", f, u256(5), u256(4), u256(0));
|
testContractAgainstCpp("f(uint256,uint256,uint256)", f, u256(5), u256(4), u256(0));
|
||||||
testSolidityAgainstCpp("f(uint256,uint256,uint256)", f, u256(4), u256(5), u256(9));
|
testContractAgainstCpp("f(uint256,uint256,uint256)", f, u256(4), u256(5), u256(9));
|
||||||
testSolidityAgainstCpp("f(uint256,uint256,uint256)", f, u256(4), u256(5), u256(0));
|
testContractAgainstCpp("f(uint256,uint256,uint256)", f, u256(4), u256(5), u256(0));
|
||||||
testSolidityAgainstCpp("f(uint256,uint256,uint256)", f, u256(5), u256(4), u256(0));
|
testContractAgainstCpp("f(uint256,uint256,uint256)", f, u256(5), u256(4), u256(0));
|
||||||
testSolidityAgainstCpp("f(uint256,uint256,uint256)", f, u256(5), u256(4), u256(7));
|
testContractAgainstCpp("f(uint256,uint256,uint256)", f, u256(5), u256(4), u256(7));
|
||||||
testSolidityAgainstCpp("f(uint256,uint256,uint256)", f, u256(4), u256(5), u256(0));
|
testContractAgainstCpp("f(uint256,uint256,uint256)", f, u256(4), u256(5), u256(0));
|
||||||
testSolidityAgainstCpp("f(uint256,uint256,uint256)", f, u256(5), u256(4), u256(0));
|
testContractAgainstCpp("f(uint256,uint256,uint256)", f, u256(5), u256(4), u256(0));
|
||||||
}
|
}
|
||||||
|
|
||||||
BOOST_AUTO_TEST_CASE(structs)
|
BOOST_AUTO_TEST_CASE(structs)
|
||||||
@ -1199,8 +1201,8 @@ BOOST_AUTO_TEST_CASE(constructor)
|
|||||||
{
|
{
|
||||||
return data[_x];
|
return data[_x];
|
||||||
};
|
};
|
||||||
testSolidityAgainstCpp("get(uint256)", get, u256(6));
|
testContractAgainstCpp("get(uint256)", get, u256(6));
|
||||||
testSolidityAgainstCpp("get(uint256)", get, u256(7));
|
testContractAgainstCpp("get(uint256)", get, u256(7));
|
||||||
}
|
}
|
||||||
|
|
||||||
BOOST_AUTO_TEST_CASE(simple_accessor)
|
BOOST_AUTO_TEST_CASE(simple_accessor)
|
||||||
@ -1721,9 +1723,9 @@ BOOST_AUTO_TEST_CASE(sha3)
|
|||||||
{
|
{
|
||||||
return dev::keccak256(toBigEndian(_x));
|
return dev::keccak256(toBigEndian(_x));
|
||||||
};
|
};
|
||||||
testSolidityAgainstCpp("a(bytes32)", f, u256(4));
|
testContractAgainstCpp("a(bytes32)", f, u256(4));
|
||||||
testSolidityAgainstCpp("a(bytes32)", f, u256(5));
|
testContractAgainstCpp("a(bytes32)", f, u256(5));
|
||||||
testSolidityAgainstCpp("a(bytes32)", f, u256(-1));
|
testContractAgainstCpp("a(bytes32)", f, u256(-1));
|
||||||
}
|
}
|
||||||
|
|
||||||
BOOST_AUTO_TEST_CASE(sha256)
|
BOOST_AUTO_TEST_CASE(sha256)
|
||||||
@ -1744,9 +1746,9 @@ BOOST_AUTO_TEST_CASE(sha256)
|
|||||||
return fromHex("af9613760f72635fbdb44a5a0a63c39f12af30f950a6ee5c971be188e89c4051");
|
return fromHex("af9613760f72635fbdb44a5a0a63c39f12af30f950a6ee5c971be188e89c4051");
|
||||||
return fromHex("");
|
return fromHex("");
|
||||||
};
|
};
|
||||||
testSolidityAgainstCpp("a(bytes32)", f, u256(4));
|
testContractAgainstCpp("a(bytes32)", f, u256(4));
|
||||||
testSolidityAgainstCpp("a(bytes32)", f, u256(5));
|
testContractAgainstCpp("a(bytes32)", f, u256(5));
|
||||||
testSolidityAgainstCpp("a(bytes32)", f, u256(-1));
|
testContractAgainstCpp("a(bytes32)", f, u256(-1));
|
||||||
}
|
}
|
||||||
|
|
||||||
BOOST_AUTO_TEST_CASE(ripemd)
|
BOOST_AUTO_TEST_CASE(ripemd)
|
||||||
@ -1767,9 +1769,9 @@ BOOST_AUTO_TEST_CASE(ripemd)
|
|||||||
return fromHex("1cf4e77f5966e13e109703cd8a0df7ceda7f3dc3000000000000000000000000");
|
return fromHex("1cf4e77f5966e13e109703cd8a0df7ceda7f3dc3000000000000000000000000");
|
||||||
return fromHex("");
|
return fromHex("");
|
||||||
};
|
};
|
||||||
testSolidityAgainstCpp("a(bytes32)", f, u256(4));
|
testContractAgainstCpp("a(bytes32)", f, u256(4));
|
||||||
testSolidityAgainstCpp("a(bytes32)", f, u256(5));
|
testContractAgainstCpp("a(bytes32)", f, u256(5));
|
||||||
testSolidityAgainstCpp("a(bytes32)", f, u256(-1));
|
testContractAgainstCpp("a(bytes32)", f, u256(-1));
|
||||||
}
|
}
|
||||||
|
|
||||||
BOOST_AUTO_TEST_CASE(ecrecover)
|
BOOST_AUTO_TEST_CASE(ecrecover)
|
||||||
|
@ -22,116 +22,13 @@
|
|||||||
|
|
||||||
#include <cstdlib>
|
#include <cstdlib>
|
||||||
#include <boost/test/framework.hpp>
|
#include <boost/test/framework.hpp>
|
||||||
#include <libdevcore/CommonIO.h>
|
|
||||||
#include <test/libsolidity/SolidityExecutionFramework.h>
|
#include <test/libsolidity/SolidityExecutionFramework.h>
|
||||||
|
|
||||||
using namespace std;
|
using namespace dev::test;
|
||||||
using namespace dev;
|
|
||||||
using namespace dev::solidity;
|
using namespace dev::solidity;
|
||||||
using namespace dev::solidity::test;
|
using namespace dev::solidity::test;
|
||||||
|
|
||||||
namespace // anonymous
|
SolidityExecutionFramework::SolidityExecutionFramework() :
|
||||||
|
ExecutionFramework()
|
||||||
{
|
{
|
||||||
h256 const EmptyTrie("0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421");
|
|
||||||
}
|
|
||||||
|
|
||||||
string getIPCSocketPath()
|
|
||||||
{
|
|
||||||
string ipcPath = dev::test::Options::get().ipcPath;
|
|
||||||
if (ipcPath.empty())
|
|
||||||
BOOST_FAIL("ERROR: ipcPath not set! (use --ipcpath <path> or the environment variable ETH_TEST_IPC)");
|
|
||||||
|
|
||||||
return ipcPath;
|
|
||||||
}
|
|
||||||
|
|
||||||
ExecutionFramework::ExecutionFramework() :
|
|
||||||
m_rpc(RPCSession::instance(getIPCSocketPath())),
|
|
||||||
m_optimize(dev::test::Options::get().optimize),
|
|
||||||
m_sender(m_rpc.account(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");
|
|
||||||
m_output = fromHex(code, WhenError::Throw);
|
|
||||||
}
|
|
||||||
|
|
||||||
m_gasUsed = u256(receipt.gasUsed);
|
|
||||||
m_logs.clear();
|
|
||||||
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);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
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));
|
|
||||||
}
|
|
||||||
|
|
||||||
bool ExecutionFramework::addressHasCode(Address const& _addr)
|
|
||||||
{
|
|
||||||
string code = m_rpc.eth_getCode(toString(_addr), "latest");
|
|
||||||
return !code.empty() && code != "0x";
|
|
||||||
}
|
|
||||||
|
|
||||||
u256 ExecutionFramework::balanceAt(Address const& _addr)
|
|
||||||
{
|
|
||||||
return u256(m_rpc.eth_getBalance(toString(_addr), "latest"));
|
|
||||||
}
|
|
||||||
|
|
||||||
bool ExecutionFramework::storageEmpty(Address const& _addr)
|
|
||||||
{
|
|
||||||
h256 root(m_rpc.eth_getStorageRoot(toString(_addr), "latest"));
|
|
||||||
BOOST_CHECK(root);
|
|
||||||
return root == EmptyTrie;
|
|
||||||
}
|
}
|
||||||
|
@ -24,12 +24,7 @@
|
|||||||
|
|
||||||
#include <functional>
|
#include <functional>
|
||||||
|
|
||||||
#include "../TestHelper.h"
|
#include "../ExecutionFramework.h"
|
||||||
#include "../RPCSession.h"
|
|
||||||
|
|
||||||
#include <libdevcore/ABI.h>
|
|
||||||
#include <libdevcore/FixedHash.h>
|
|
||||||
#include <libevmasm/Instruction.h>
|
|
||||||
|
|
||||||
#include <libsolidity/interface/CompilerStack.h>
|
#include <libsolidity/interface/CompilerStack.h>
|
||||||
#include <libsolidity/interface/Exceptions.h>
|
#include <libsolidity/interface/Exceptions.h>
|
||||||
@ -39,34 +34,23 @@ namespace dev
|
|||||||
{
|
{
|
||||||
namespace solidity
|
namespace solidity
|
||||||
{
|
{
|
||||||
using rational = boost::rational<dev::bigint>;
|
|
||||||
/// An Ethereum address: 20 bytes.
|
|
||||||
/// @NOTE This is not endian-specific; it's just a bunch of bytes.
|
|
||||||
using Address = h160;
|
|
||||||
|
|
||||||
// The various denominations; here for ease of use where needed within code.
|
|
||||||
static const u256 ether = exp10<18>();
|
|
||||||
static const u256 finney = exp10<15>();
|
|
||||||
static const u256 szabo = exp10<12>();
|
|
||||||
static const u256 shannon = exp10<9>();
|
|
||||||
static const u256 wei = exp10<0>();
|
|
||||||
|
|
||||||
namespace test
|
namespace test
|
||||||
{
|
{
|
||||||
|
|
||||||
class ExecutionFramework
|
class SolidityExecutionFramework: public dev::test::ExecutionFramework
|
||||||
{
|
{
|
||||||
|
|
||||||
public:
|
public:
|
||||||
ExecutionFramework();
|
SolidityExecutionFramework();
|
||||||
|
|
||||||
bytes const& compileAndRunWithoutCheck(
|
virtual bytes const& compileAndRunWithoutCheck(
|
||||||
std::string const& _sourceCode,
|
std::string const& _sourceCode,
|
||||||
u256 const& _value = 0,
|
u256 const& _value = 0,
|
||||||
std::string const& _contractName = "",
|
std::string const& _contractName = "",
|
||||||
bytes const& _arguments = bytes(),
|
bytes const& _arguments = bytes(),
|
||||||
std::map<std::string, Address> const& _libraryAddresses = std::map<std::string, Address>()
|
std::map<std::string, dev::test::Address> const& _libraryAddresses = std::map<std::string, dev::test::Address>()
|
||||||
)
|
) override
|
||||||
{
|
{
|
||||||
// Silence compiler version warning
|
// Silence compiler version warning
|
||||||
std::string sourceCode = "pragma solidity >=0.0;\n" + _sourceCode;
|
std::string sourceCode = "pragma solidity >=0.0;\n" + _sourceCode;
|
||||||
@ -90,224 +74,8 @@ public:
|
|||||||
return m_output;
|
return m_output;
|
||||||
}
|
}
|
||||||
|
|
||||||
bytes const& compileAndRun(
|
|
||||||
std::string const& _sourceCode,
|
|
||||||
u256 const& _value = 0,
|
|
||||||
std::string const& _contractName = "",
|
|
||||||
bytes const& _arguments = bytes(),
|
|
||||||
std::map<std::string, Address> const& _libraryAddresses = std::map<std::string, Address>()
|
|
||||||
)
|
|
||||||
{
|
|
||||||
compileAndRunWithoutCheck(_sourceCode, _value, _contractName, _arguments, _libraryAddresses);
|
|
||||||
BOOST_REQUIRE(!m_output.empty());
|
|
||||||
return m_output;
|
|
||||||
}
|
|
||||||
|
|
||||||
template <class... Args>
|
|
||||||
bytes const& callContractFunctionWithValue(std::string _sig, u256 const& _value, Args const&... _arguments)
|
|
||||||
{
|
|
||||||
FixedHash<4> hash(dev::keccak256(_sig));
|
|
||||||
sendMessage(hash.asBytes() + encodeArgs(_arguments...), false, _value);
|
|
||||||
return m_output;
|
|
||||||
}
|
|
||||||
|
|
||||||
template <class... Args>
|
|
||||||
bytes const& callContractFunction(std::string _sig, Args const&... _arguments)
|
|
||||||
{
|
|
||||||
return callContractFunctionWithValue(_sig, 0, _arguments...);
|
|
||||||
}
|
|
||||||
|
|
||||||
template <class CppFunction, class... Args>
|
|
||||||
void testSolidityAgainstCpp(std::string _sig, CppFunction const& _cppFunction, Args const&... _arguments)
|
|
||||||
{
|
|
||||||
bytes solidityResult = callContractFunction(_sig, _arguments...);
|
|
||||||
bytes cppResult = callCppAndEncodeResult(_cppFunction, _arguments...);
|
|
||||||
BOOST_CHECK_MESSAGE(
|
|
||||||
solidityResult == cppResult,
|
|
||||||
"Computed values do not match.\nSolidity: " +
|
|
||||||
toHex(solidityResult) +
|
|
||||||
"\nC++: " +
|
|
||||||
toHex(cppResult)
|
|
||||||
);
|
|
||||||
}
|
|
||||||
|
|
||||||
template <class CppFunction, class... Args>
|
|
||||||
void testSolidityAgainstCppOnRange(std::string _sig, CppFunction const& _cppFunction, u256 const& _rangeStart, u256 const& _rangeEnd)
|
|
||||||
{
|
|
||||||
for (u256 argument = _rangeStart; argument < _rangeEnd; ++argument)
|
|
||||||
{
|
|
||||||
bytes solidityResult = callContractFunction(_sig, argument);
|
|
||||||
bytes cppResult = callCppAndEncodeResult(_cppFunction, argument);
|
|
||||||
BOOST_CHECK_MESSAGE(
|
|
||||||
solidityResult == cppResult,
|
|
||||||
"Computed values do not match.\nSolidity: " +
|
|
||||||
toHex(solidityResult) +
|
|
||||||
"\nC++: " +
|
|
||||||
toHex(cppResult) +
|
|
||||||
"\nArgument: " +
|
|
||||||
toHex(encode(argument))
|
|
||||||
);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
static bytes encode(bool _value) { return encode(byte(_value)); }
|
|
||||||
static bytes encode(int _value) { return encode(u256(_value)); }
|
|
||||||
static bytes encode(size_t _value) { return encode(u256(_value)); }
|
|
||||||
static bytes encode(char const* _value) { return encode(std::string(_value)); }
|
|
||||||
static bytes encode(byte _value) { return bytes(31, 0) + bytes{_value}; }
|
|
||||||
static bytes encode(u256 const& _value) { return toBigEndian(_value); }
|
|
||||||
/// @returns the fixed-point encoding of a rational number with a given
|
|
||||||
/// number of fractional bits.
|
|
||||||
static bytes encode(std::pair<rational, int> const& _valueAndPrecision)
|
|
||||||
{
|
|
||||||
rational const& value = _valueAndPrecision.first;
|
|
||||||
int fractionalBits = _valueAndPrecision.second;
|
|
||||||
return encode(u256((value.numerator() << fractionalBits) / value.denominator()));
|
|
||||||
}
|
|
||||||
static bytes encode(h256 const& _value) { return _value.asBytes(); }
|
|
||||||
static bytes encode(bytes const& _value, bool _padLeft = true)
|
|
||||||
{
|
|
||||||
bytes padding = bytes((32 - _value.size() % 32) % 32, 0);
|
|
||||||
return _padLeft ? padding + _value : _value + padding;
|
|
||||||
}
|
|
||||||
static bytes encode(std::string const& _value) { return encode(asBytes(_value), false); }
|
|
||||||
template <class _T>
|
|
||||||
static bytes encode(std::vector<_T> const& _value)
|
|
||||||
{
|
|
||||||
bytes ret;
|
|
||||||
for (auto const& v: _value)
|
|
||||||
ret += encode(v);
|
|
||||||
return ret;
|
|
||||||
}
|
|
||||||
|
|
||||||
template <class FirstArg, class... Args>
|
|
||||||
static bytes encodeArgs(FirstArg const& _firstArg, Args const&... _followingArgs)
|
|
||||||
{
|
|
||||||
return encode(_firstArg) + encodeArgs(_followingArgs...);
|
|
||||||
}
|
|
||||||
static bytes encodeArgs()
|
|
||||||
{
|
|
||||||
return bytes();
|
|
||||||
}
|
|
||||||
//@todo might be extended in the future
|
|
||||||
template <class Arg>
|
|
||||||
static bytes encodeDyn(Arg const& _arg)
|
|
||||||
{
|
|
||||||
return encodeArgs(u256(0x20), u256(_arg.size()), _arg);
|
|
||||||
}
|
|
||||||
class ContractInterface
|
|
||||||
{
|
|
||||||
public:
|
|
||||||
ContractInterface(ExecutionFramework& _framework): m_framework(_framework) {}
|
|
||||||
|
|
||||||
void setNextValue(u256 const& _value) { m_nextValue = _value; }
|
|
||||||
|
|
||||||
protected:
|
|
||||||
template <class... Args>
|
|
||||||
bytes const& call(std::string const& _sig, Args const&... _arguments)
|
|
||||||
{
|
|
||||||
auto const& ret = m_framework.callContractFunctionWithValue(_sig, m_nextValue, _arguments...);
|
|
||||||
m_nextValue = 0;
|
|
||||||
return ret;
|
|
||||||
}
|
|
||||||
|
|
||||||
void callString(std::string const& _name, std::string const& _arg)
|
|
||||||
{
|
|
||||||
BOOST_CHECK(call(_name + "(string)", u256(0x20), _arg.length(), _arg).empty());
|
|
||||||
}
|
|
||||||
|
|
||||||
void callStringAddress(std::string const& _name, std::string const& _arg1, u160 const& _arg2)
|
|
||||||
{
|
|
||||||
BOOST_CHECK(call(_name + "(string,address)", u256(0x40), _arg2, _arg1.length(), _arg1).empty());
|
|
||||||
}
|
|
||||||
|
|
||||||
void callStringAddressBool(std::string const& _name, std::string const& _arg1, u160 const& _arg2, bool _arg3)
|
|
||||||
{
|
|
||||||
BOOST_CHECK(call(_name + "(string,address,bool)", u256(0x60), _arg2, _arg3, _arg1.length(), _arg1).empty());
|
|
||||||
}
|
|
||||||
|
|
||||||
void callStringBytes32(std::string const& _name, std::string const& _arg1, h256 const& _arg2)
|
|
||||||
{
|
|
||||||
BOOST_CHECK(call(_name + "(string,bytes32)", u256(0x40), _arg2, _arg1.length(), _arg1).empty());
|
|
||||||
}
|
|
||||||
|
|
||||||
u160 callStringReturnsAddress(std::string const& _name, std::string const& _arg)
|
|
||||||
{
|
|
||||||
bytes const& ret = call(_name + "(string)", u256(0x20), _arg.length(), _arg);
|
|
||||||
BOOST_REQUIRE(ret.size() == 0x20);
|
|
||||||
BOOST_CHECK(std::count(ret.begin(), ret.begin() + 12, 0) == 12);
|
|
||||||
return eth::abiOut<u160>(ret);
|
|
||||||
}
|
|
||||||
|
|
||||||
std::string callAddressReturnsString(std::string const& _name, u160 const& _arg)
|
|
||||||
{
|
|
||||||
bytesConstRef ret = ref(call(_name + "(address)", _arg));
|
|
||||||
BOOST_REQUIRE(ret.size() >= 0x20);
|
|
||||||
u256 offset = eth::abiOut<u256>(ret);
|
|
||||||
BOOST_REQUIRE_EQUAL(offset, 0x20);
|
|
||||||
u256 len = eth::abiOut<u256>(ret);
|
|
||||||
BOOST_REQUIRE_EQUAL(ret.size(), ((len + 0x1f) / 0x20) * 0x20);
|
|
||||||
return ret.cropped(0, size_t(len)).toString();
|
|
||||||
}
|
|
||||||
|
|
||||||
h256 callStringReturnsBytes32(std::string const& _name, std::string const& _arg)
|
|
||||||
{
|
|
||||||
bytes const& ret = call(_name + "(string)", u256(0x20), _arg.length(), _arg);
|
|
||||||
BOOST_REQUIRE(ret.size() == 0x20);
|
|
||||||
return eth::abiOut<h256>(ret);
|
|
||||||
}
|
|
||||||
|
|
||||||
private:
|
|
||||||
u256 m_nextValue;
|
|
||||||
ExecutionFramework& m_framework;
|
|
||||||
};
|
|
||||||
|
|
||||||
private:
|
|
||||||
template <class CppFunction, class... Args>
|
|
||||||
auto callCppAndEncodeResult(CppFunction const& _cppFunction, Args const&... _arguments)
|
|
||||||
-> typename std::enable_if<std::is_void<decltype(_cppFunction(_arguments...))>::value, bytes>::type
|
|
||||||
{
|
|
||||||
_cppFunction(_arguments...);
|
|
||||||
return bytes();
|
|
||||||
}
|
|
||||||
template <class CppFunction, class... Args>
|
|
||||||
auto callCppAndEncodeResult(CppFunction const& _cppFunction, Args const&... _arguments)
|
|
||||||
-> typename std::enable_if<!std::is_void<decltype(_cppFunction(_arguments...))>::value, bytes>::type
|
|
||||||
{
|
|
||||||
return encode(_cppFunction(_arguments...));
|
|
||||||
}
|
|
||||||
|
|
||||||
protected:
|
protected:
|
||||||
void sendMessage(bytes const& _data, bool _isCreation, u256 const& _value = 0);
|
|
||||||
void sendEther(Address const& _to, u256 const& _value);
|
|
||||||
size_t currentTimestamp();
|
|
||||||
|
|
||||||
/// @returns the (potentially newly created) _ith address.
|
|
||||||
Address account(size_t _i);
|
|
||||||
|
|
||||||
u256 balanceAt(Address const& _addr);
|
|
||||||
bool storageEmpty(Address const& _addr);
|
|
||||||
bool addressHasCode(Address const& _addr);
|
|
||||||
|
|
||||||
RPCSession& m_rpc;
|
|
||||||
|
|
||||||
struct LogEntry
|
|
||||||
{
|
|
||||||
Address address;
|
|
||||||
std::vector<h256> topics;
|
|
||||||
bytes data;
|
|
||||||
};
|
|
||||||
|
|
||||||
size_t m_optimizeRuns = 200;
|
|
||||||
bool m_optimize = false;
|
|
||||||
dev::solidity::CompilerStack m_compiler;
|
dev::solidity::CompilerStack m_compiler;
|
||||||
Address m_sender;
|
|
||||||
Address m_contractAddress;
|
|
||||||
u256 const m_gasPrice = 100 * szabo;
|
|
||||||
u256 const m_gas = 100000000;
|
|
||||||
bytes m_output;
|
|
||||||
std::vector<LogEntry> m_logs;
|
|
||||||
u256 m_gasUsed;
|
|
||||||
};
|
};
|
||||||
|
|
||||||
}
|
}
|
||||||
|
@ -37,6 +37,7 @@
|
|||||||
|
|
||||||
using namespace std;
|
using namespace std;
|
||||||
using namespace dev::eth;
|
using namespace dev::eth;
|
||||||
|
using namespace dev::test;
|
||||||
|
|
||||||
namespace dev
|
namespace dev
|
||||||
{
|
{
|
||||||
@ -45,7 +46,7 @@ namespace solidity
|
|||||||
namespace test
|
namespace test
|
||||||
{
|
{
|
||||||
|
|
||||||
class OptimizerTestFramework: public ExecutionFramework
|
class OptimizerTestFramework: public SolidityExecutionFramework
|
||||||
{
|
{
|
||||||
public:
|
public:
|
||||||
OptimizerTestFramework() { }
|
OptimizerTestFramework() { }
|
||||||
|
Loading…
Reference in New Issue
Block a user