libethereum:Transaction coverage

test/fuzzTesting/CMakeLists.txt

@@ -8,7 +8,7 @@ include_directories(${Boost_INCLUDE_DIRS})
 include_directories(${CRYPTOPP_INCLUDE_DIRS})
 include_directories(${JSON_RPC_CPP_INCLUDE_DIRS})
 
-add_executable(createRandomTest "./createRandomTest.cpp" "../TestHelper.cpp" "../Stats.cpp" "fuzzHelper.cpp" "../libethereum/transaction.cpp" "../libethereum/state.cpp" "../libevm/vm.cpp" "../libethereum/blockchain.cpp" "../libdevcore/rlp.cpp")
+add_executable(createRandomTest "./createRandomTest.cpp" "../TestHelper.cpp" "../Stats.cpp" "fuzzHelper.cpp" "../libethereum/transactionTests.cpp" "../libethereum/state.cpp" "../libevm/vm.cpp" "../libethereum/blockchain.cpp")
 
 add_executable(createRandomVMTest "./createRandomVMTest.cpp" "../libevm/vm.cpp" "../TestHelper.cpp" "../Stats.cpp")
 add_executable(createRandomStateTest "./createRandomStateTest.cpp" "../TestHelper.cpp" "../Stats.cpp" "fuzzHelper.cpp")

test/libethereum/Transaction.cpp

@@ -0,0 +1,112 @@
+/*
+	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/>.
+*/
+/** @file Transaction.cpp
+ * @author Dmitrii Khokhlov <winsvega@mail.ru>
+ * @date 2015
+ * Transaaction test functions.
+ */
+
+#include "test/TestHelper.h"
+
+
+/*std::ostream& dev::eth::operator<<(std::ostream& _out, ExecutionResult const& _er)
+{
+	_out << "{" << _er.gasUsed << ", " << _er.newAddress << ", " << toHex(_er.output) << "}";
+	return _out;
+}
+
+std::ostream& dev::eth::operator<<(std::ostream& _out, TransactionException const& _er)
+{
+	switch (_er)
+	{
+		case TransactionException::None: _out << "None"; break;
+		case TransactionException::BadRLP: _out << "BadRLP"; break;
+		case TransactionException::InvalidFormat: _out << "InvalidFormat"; break;
+		case TransactionException::OutOfGasIntrinsic: _out << "OutOfGasIntrinsic"; break;
+		case TransactionException::InvalidSignature: _out << "InvalidSignature"; break;
+		case TransactionException::InvalidNonce: _out << "InvalidNonce"; break;
+		case TransactionException::NotEnoughCash: _out << "NotEnoughCash"; break;
+		case TransactionException::OutOfGasBase: _out << "OutOfGasBase"; break;
+		case TransactionException::BlockGasLimitReached: _out << "BlockGasLimitReached"; break;
+		case TransactionException::BadInstruction: _out << "BadInstruction"; break;
+		case TransactionException::BadJumpDestination: _out << "BadJumpDestination"; break;
+		case TransactionException::OutOfGas: _out << "OutOfGas"; break;
+		case TransactionException::OutOfStack: _out << "OutOfStack"; break;
+		case TransactionException::StackUnderflow: _out << "StackUnderflow"; break;
+		default: _out << "Unknown"; break;
+	}
+	return _out;
+}
+
+Transaction::Transaction(bytesConstRef _rlpData, CheckTransaction _checkSig):
+	TransactionBase(_rlpData, _checkSig)
+{
+	if (_checkSig >= CheckTransaction::Cheap && !checkPayment())
+		BOOST_THROW_EXCEPTION(OutOfGasIntrinsic() << RequirementError(gasRequired(), (bigint)gas()));
+}
+
+bigint Transaction::gasRequired() const
+{
+	if (!m_gasRequired)
+		m_gasRequired = Transaction::gasRequired(m_data);
+	return m_gasRequired;
+}
+*/
+
+using namespace dev;
+using namespace eth;
+
+BOOST_AUTO_TEST_SUITE(libethereum)
+
+BOOST_AUTO_TEST_CASE(toTransactionExceptionConvert)
+{
+	RLPException rlpEx("exception");
+	BOOST_CHECK_MESSAGE(toTransactionException(*(dynamic_cast<Exception*>(&rlpEx))) == TransactionException::BadRLP, "RLPException !=> TransactionException");
+	OutOfGasIntrinsic oogEx;
+	BOOST_CHECK_MESSAGE(toTransactionException(*(dynamic_cast<Exception*>(&oogEx))) == TransactionException::OutOfGasIntrinsic, "OutOfGasIntrinsic !=> TransactionException");
+	InvalidSignature sigEx;
+	BOOST_CHECK_MESSAGE(toTransactionException(*(dynamic_cast<Exception*>(&sigEx))) == TransactionException::InvalidSignature, "InvalidSignature !=> TransactionException");
+	OutOfGasBase oogbEx;
+	BOOST_CHECK_MESSAGE(toTransactionException(*(dynamic_cast<Exception*>(&oogbEx))) == TransactionException::OutOfGasBase, "OutOfGasBase !=> TransactionException");
+	InvalidNonce nonceEx;
+	BOOST_CHECK_MESSAGE(toTransactionException(*(dynamic_cast<Exception*>(&nonceEx))) == TransactionException::InvalidNonce, "InvalidNonce !=> TransactionException");
+
+	/*TransactionException dev::eth::toTransactionException(Exception const& _e)
+	{
+
+		if (!!dynamic_cast<InvalidNonce const*>(&_e))
+			return TransactionException::InvalidNonce;
+		if (!!dynamic_cast<NotEnoughCash const*>(&_e))
+			return TransactionException::NotEnoughCash;
+		if (!!dynamic_cast<BlockGasLimitReached const*>(&_e))
+			return TransactionException::BlockGasLimitReached;
+		// VM execution exceptions
+		if (!!dynamic_cast<BadInstruction const*>(&_e))
+			return TransactionException::BadInstruction;
+		if (!!dynamic_cast<BadJumpDestination const*>(&_e))
+			return TransactionException::BadJumpDestination;
+		if (!!dynamic_cast<OutOfGas const*>(&_e))
+			return TransactionException::OutOfGas;
+		if (!!dynamic_cast<OutOfStack const*>(&_e))
+			return TransactionException::OutOfStack;
+		if (!!dynamic_cast<StackUnderflow const*>(&_e))
+			return TransactionException::StackUnderflow;
+		return TransactionException::Unknown;
+	}*/
+}
+
+BOOST_AUTO_TEST_SUITE_END()

test/libethereum/transaction.cpp → test/libethereum/transactionTests.cpp

@@ -14,7 +14,7 @@
 	You should have received a copy of the GNU General Public License
 	along with cpp-ethereum.  If not, see <http://www.gnu.org/licenses/>.
 */
-/** @file transaction.cpp
+/** @file transactionTests.cpp
  * @author Dmitrii Khokhlov <winsvega@mail.ru>
  * @date 2015
  * Transaction test functions.