2015-01-21 15:10:06 +00:00
/*
2015-02-13 17:25:47 +00:00
This file is part of cpp - ethereum .
2015-01-21 15:10:06 +00:00
2015-02-13 17:25:47 +00:00
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 .
2015-01-21 15:10:06 +00:00
2015-02-13 17:25:47 +00:00
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 .
2015-01-21 15:10:06 +00:00
2015-02-13 17:25:47 +00:00
You should have received a copy of the GNU General Public License
along with cpp - ethereum . If not , see < http : //www.gnu.org/licenses/>.
2015-01-21 15:10:06 +00:00
*/
2015-02-05 15:34:46 +00:00
/** @file block.cpp
2015-01-21 15:10:06 +00:00
* @ author Christoph Jentzsch < cj @ ethdev . com >
2015-02-05 15:34:46 +00:00
* @ date 2015
2015-01-21 15:10:06 +00:00
* block test functions .
*/
2015-02-05 15:34:46 +00:00
2015-02-16 12:04:28 +00:00
# include <libdevcrypto/FileSystem.h>
2015-02-06 22:43:49 +00:00
# include <libethereum/CanonBlockChain.h>
2015-02-05 15:34:46 +00:00
# include "TestHelper.h"
using namespace std ;
using namespace json_spirit ;
using namespace dev ;
using namespace dev : : eth ;
namespace dev { namespace test {
bytes createBlockRLPFromFields ( mObject & _tObj )
{
2015-02-13 17:25:47 +00:00
RLPStream rlpStream ;
rlpStream . appendList ( _tObj . size ( ) ) ;
2015-02-12 19:13:44 +00:00
2015-02-16 10:04:05 +00:00
if ( _tObj . count ( " parentHash " ) )
2015-02-13 17:25:47 +00:00
rlpStream < < importByteArray ( _tObj [ " parentHash " ] . get_str ( ) ) ;
2015-02-12 19:13:44 +00:00
2015-02-16 10:04:05 +00:00
if ( _tObj . count ( " uncleHash " ) )
2015-02-13 17:25:47 +00:00
rlpStream < < importByteArray ( _tObj [ " uncleHash " ] . get_str ( ) ) ;
2015-02-12 19:13:44 +00:00
2015-02-16 10:04:05 +00:00
if ( _tObj . count ( " coinbase " ) )
2015-02-13 17:25:47 +00:00
rlpStream < < importByteArray ( _tObj [ " coinbase " ] . get_str ( ) ) ;
2015-02-12 19:13:44 +00:00
2015-02-16 10:04:05 +00:00
if ( _tObj . count ( " stateRoot " ) )
2015-02-13 17:25:47 +00:00
rlpStream < < importByteArray ( _tObj [ " stateRoot " ] . get_str ( ) ) ;
2015-02-12 19:13:44 +00:00
2015-02-16 10:04:05 +00:00
if ( _tObj . count ( " transactionsTrie " ) )
2015-02-13 17:25:47 +00:00
rlpStream < < importByteArray ( _tObj [ " transactionsTrie " ] . get_str ( ) ) ;
2015-02-12 19:13:44 +00:00
2015-02-16 10:04:05 +00:00
if ( _tObj . count ( " receiptTrie " ) )
2015-02-13 17:25:47 +00:00
rlpStream < < importByteArray ( _tObj [ " receiptTrie " ] . get_str ( ) ) ;
2015-02-12 19:13:44 +00:00
2015-02-16 10:04:05 +00:00
if ( _tObj . count ( " bloom " ) )
2015-02-13 17:25:47 +00:00
rlpStream < < importByteArray ( _tObj [ " bloom " ] . get_str ( ) ) ;
2015-02-12 19:13:44 +00:00
2015-02-16 10:04:05 +00:00
if ( _tObj . count ( " difficulty " ) )
2015-02-13 17:25:47 +00:00
rlpStream < < bigint ( _tObj [ " difficulty " ] . get_str ( ) ) ;
2015-02-12 19:13:44 +00:00
2015-02-16 10:04:05 +00:00
if ( _tObj . count ( " number " ) )
2015-02-13 17:25:47 +00:00
rlpStream < < bigint ( _tObj [ " number " ] . get_str ( ) ) ;
2015-02-12 19:13:44 +00:00
2015-02-16 10:04:05 +00:00
if ( _tObj . count ( " gasLimit " ) )
2015-02-13 17:25:47 +00:00
rlpStream < < bigint ( _tObj [ " gasLimit " ] . get_str ( ) ) ;
2015-02-12 19:13:44 +00:00
2015-02-16 10:04:05 +00:00
if ( _tObj . count ( " gasUsed " ) )
2015-02-13 17:25:47 +00:00
rlpStream < < bigint ( _tObj [ " gasUsed " ] . get_str ( ) ) ;
2015-02-12 19:13:44 +00:00
2015-02-16 10:04:05 +00:00
if ( _tObj . count ( " timestamp " ) )
2015-02-13 17:25:47 +00:00
rlpStream < < bigint ( _tObj [ " timestamp " ] . get_str ( ) ) ;
2015-02-12 19:13:44 +00:00
2015-02-16 10:04:05 +00:00
if ( _tObj . count ( " extraData " ) )
2015-02-13 17:25:47 +00:00
rlpStream < < importByteArray ( _tObj [ " extraData " ] . get_str ( ) ) ;
2015-02-12 19:13:44 +00:00
2015-02-16 10:04:05 +00:00
if ( _tObj . count ( " nonce " ) )
2015-02-13 17:25:47 +00:00
rlpStream < < importByteArray ( _tObj [ " nonce " ] . get_str ( ) ) ;
2015-02-10 07:35:18 +00:00
2015-02-13 17:25:47 +00:00
return rlpStream . out ( ) ;
2015-02-05 15:34:46 +00:00
}
void doBlockTests ( json_spirit : : mValue & _v , bool _fillin )
{
2015-02-13 17:25:47 +00:00
for ( auto & i : _v . get_obj ( ) )
{
cerr < < i . first < < endl ;
mObject & o = i . second . get_obj ( ) ;
2015-02-10 07:35:18 +00:00
2015-02-16 10:04:05 +00:00
BOOST_REQUIRE ( o . count ( " genesisBlockHeader " ) ) ;
2015-02-11 17:17:01 +00:00
BlockInfo blockFromFields ;
try
{
2015-02-16 10:04:05 +00:00
// construct genesis block
const bytes c_blockRLP = createBlockRLPFromFields ( o [ " genesisBlockHeader " ] . get_obj ( ) ) ;
const RLP c_bRLP ( c_blockRLP ) ;
2015-02-11 21:05:34 +00:00
blockFromFields . populateFromHeader ( c_bRLP , false ) ;
2015-02-11 17:17:01 +00:00
}
catch ( Exception const & _e )
{
2015-02-11 21:05:34 +00:00
cnote < < " block population did throw an exception: " < < diagnostic_information ( _e ) ;
BOOST_ERROR ( " Failed block population with Exception: " < < _e . what ( ) ) ;
2015-02-16 10:04:05 +00:00
continue ;
2015-02-11 17:17:01 +00:00
}
catch ( std : : exception const & _e )
{
2015-02-11 21:05:34 +00:00
BOOST_ERROR ( " Failed block population with Exception: " < < _e . what ( ) ) ;
2015-02-16 10:04:05 +00:00
continue ;
2015-02-11 17:17:01 +00:00
}
catch ( . . . )
{
2015-02-11 21:05:34 +00:00
cnote < < " block population did throw an unknown exception \n " ;
2015-02-16 10:04:05 +00:00
continue ;
2015-02-11 17:17:01 +00:00
}
2015-02-16 10:04:05 +00:00
BOOST_REQUIRE ( o . count ( " pre " ) ) ;
2015-02-11 17:17:01 +00:00
ImportTest importer ( o [ " pre " ] . get_obj ( ) ) ;
2015-02-11 21:05:34 +00:00
State state ( Address ( ) , OverlayDB ( ) , BaseState : : Empty ) ;
importer . importState ( o [ " pre " ] . get_obj ( ) , state ) ;
state . commit ( ) ;
2015-02-11 17:17:01 +00:00
if ( _fillin )
2015-02-11 21:05:34 +00:00
blockFromFields . stateRoot = state . rootHash ( ) ;
2015-02-11 17:17:01 +00:00
else
2015-02-11 21:05:34 +00:00
BOOST_CHECK_MESSAGE ( blockFromFields . stateRoot = = state . rootHash ( ) , " root hash does not match " ) ;
2015-02-11 17:17:01 +00:00
if ( _fillin )
{
// find new valid nonce
ProofOfWork pow ;
MineInfo ret ;
2015-02-16 10:04:05 +00:00
while ( ! ProofOfWork : : verify ( blockFromFields . headerHash ( WithoutNonce ) , blockFromFields . nonce , blockFromFields . difficulty ) )
tie ( ret , blockFromFields . nonce ) = pow . mine ( blockFromFields . headerHash ( WithoutNonce ) , blockFromFields . difficulty , 1000 , true , true ) ;
2015-02-11 17:17:01 +00:00
//update genesis block in json file
o [ " genesisBlockHeader " ] . get_obj ( ) [ " stateRoot " ] = toString ( blockFromFields . stateRoot ) ;
o [ " genesisBlockHeader " ] . get_obj ( ) [ " nonce " ] = toString ( blockFromFields . nonce ) ;
}
// create new "genesis" block
RLPStream rlpStream ;
blockFromFields . streamRLP ( rlpStream , WithNonce ) ;
RLPStream block ( 3 ) ;
block . appendRaw ( rlpStream . out ( ) ) ;
block . appendRaw ( RLPEmptyList ) ;
block . appendRaw ( RLPEmptyList ) ;
blockFromFields . verifyInternals ( & block . out ( ) ) ;
// construct blockchain
BlockChain bc ( block . out ( ) , string ( ) , true ) ;
if ( _fillin )
{
2015-02-16 10:04:05 +00:00
BOOST_REQUIRE ( o . count ( " transactions " ) ) ;
2015-02-11 17:17:01 +00:00
TransactionQueue txs ;
for ( auto const & txObj : o [ " transactions " ] . get_array ( ) )
{
mObject tx = txObj . get_obj ( ) ;
2015-02-13 11:38:38 +00:00
importer . importTransaction ( tx ) ;
if ( ! txs . attemptImport ( importer . m_transaction . rlp ( ) ) )
2015-02-11 17:17:01 +00:00
cnote < < " failed importing transaction \n " ;
}
try
{
2015-02-13 11:38:38 +00:00
state . sync ( bc ) ;
state . sync ( bc , txs ) ;
2015-02-11 21:05:34 +00:00
state . commitToMine ( bc ) ;
2015-02-11 17:17:01 +00:00
MineInfo info ;
2015-02-11 21:05:34 +00:00
for ( info . completed = false ; ! info . completed ; info = state . mine ( ) ) { }
state . completeMine ( ) ;
2015-02-11 17:17:01 +00:00
}
catch ( Exception const & _e )
{
cnote < < " state sync or mining did throw an exception: " < < diagnostic_information ( _e ) ;
2015-02-12 19:13:44 +00:00
return ;
2015-02-11 17:17:01 +00:00
}
catch ( std : : exception const & _e )
{
cnote < < " state sync or mining did throw an exception: " < < _e . what ( ) ;
2015-02-12 19:13:44 +00:00
return ;
}
// write valid txs
mArray txArray ;
2015-02-13 17:25:47 +00:00
Transactions txList ;
2015-02-12 19:13:44 +00:00
for ( auto const & txi : txs . transactions ( ) )
{
Transaction tx ( txi . second , CheckSignature : : Sender ) ;
2015-02-13 17:25:47 +00:00
txList . push_back ( tx ) ;
2015-02-12 19:13:44 +00:00
mObject txObject ;
txObject [ " nonce " ] = toString ( tx . nonce ( ) ) ;
txObject [ " data " ] = toHex ( tx . data ( ) ) ;
txObject [ " gasLimit " ] = toString ( tx . gas ( ) ) ;
txObject [ " gasPrice " ] = toString ( tx . gasPrice ( ) ) ;
2015-02-13 10:24:20 +00:00
txObject [ " r " ] = " 0x " + toString ( tx . signature ( ) . r ) ;
txObject [ " s " ] = " 0x " + toString ( tx . signature ( ) . s ) ;
2015-02-12 19:13:44 +00:00
txObject [ " v " ] = to_string ( tx . signature ( ) . v + 27 ) ;
txObject [ " to " ] = toString ( tx . receiveAddress ( ) ) ;
txObject [ " value " ] = toString ( tx . value ( ) ) ;
txArray . push_back ( txObject ) ;
2015-02-11 17:17:01 +00:00
}
2015-02-12 19:13:44 +00:00
2015-02-16 10:04:05 +00:00
o [ " transactions " ] = txArray ;
2015-02-11 21:05:34 +00:00
o [ " rlp " ] = " 0x " + toHex ( state . blockData ( ) ) ;
2015-02-11 17:17:01 +00:00
2015-02-11 21:05:34 +00:00
BlockInfo current_BlockHeader = state . info ( ) ;
2015-02-11 17:17:01 +00:00
2015-02-16 10:04:05 +00:00
// overwrite blockheader with (possible wrong) data from "blockheader" in filler;
2015-02-13 17:25:47 +00:00
2015-02-16 10:04:05 +00:00
if ( o . count ( " blockHeader " ) )
2015-02-13 17:25:47 +00:00
{
if ( o [ " blockHeader " ] . get_obj ( ) . size ( ) ! = 14 )
{
BlockInfo tmp = current_BlockHeader ;
2015-02-16 10:04:05 +00:00
if ( o [ " blockHeader " ] . get_obj ( ) . count ( " parentHash " ) )
2015-02-13 17:25:47 +00:00
tmp . parentHash = h256 ( o [ " blockHeader " ] . get_obj ( ) [ " parentHash " ] . get_str ( ) ) ;
2015-02-16 10:49:15 +00:00
if ( o [ " blockHeader " ] . get_obj ( ) . count ( " uncleHash " ) )
2015-02-13 17:25:47 +00:00
tmp . sha3Uncles = h256 ( o [ " blockHeader " ] . get_obj ( ) [ " uncleHash " ] . get_str ( ) ) ;
2015-02-16 10:04:05 +00:00
if ( o [ " blockHeader " ] . get_obj ( ) . count ( " coinbase " ) )
2015-02-13 17:25:47 +00:00
tmp . coinbaseAddress = Address ( o [ " blockHeader " ] . get_obj ( ) [ " coinbase " ] . get_str ( ) ) ;
2015-02-16 10:04:05 +00:00
if ( o [ " blockHeader " ] . get_obj ( ) . count ( " stateRoot " ) )
2015-02-13 17:25:47 +00:00
tmp . stateRoot = h256 ( o [ " blockHeader " ] . get_obj ( ) [ " stateRoot " ] . get_str ( ) ) ;
2015-02-16 10:04:05 +00:00
if ( o [ " blockHeader " ] . get_obj ( ) . count ( " transactionsTrie " ) )
2015-02-13 17:25:47 +00:00
tmp . transactionsRoot = h256 ( o [ " blockHeader " ] . get_obj ( ) [ " transactionsTrie " ] . get_str ( ) ) ;
2015-02-16 10:04:05 +00:00
if ( o [ " blockHeader " ] . get_obj ( ) . count ( " receiptTrie " ) )
2015-02-13 17:25:47 +00:00
tmp . receiptsRoot = h256 ( o [ " blockHeader " ] . get_obj ( ) [ " receiptTrie " ] . get_str ( ) ) ;
2015-02-16 10:04:05 +00:00
if ( o [ " blockHeader " ] . get_obj ( ) . count ( " bloom " ) )
2015-02-13 17:25:47 +00:00
tmp . logBloom = LogBloom ( o [ " blockHeader " ] . get_obj ( ) [ " bloom " ] . get_str ( ) ) ;
2015-02-16 10:04:05 +00:00
if ( o [ " blockHeader " ] . get_obj ( ) . count ( " difficulty " ) )
2015-02-13 17:25:47 +00:00
tmp . difficulty = toInt ( o [ " blockHeader " ] . get_obj ( ) [ " difficulty " ] ) ;
2015-02-16 10:04:05 +00:00
if ( o [ " blockHeader " ] . get_obj ( ) . count ( " number " ) )
2015-02-13 17:25:47 +00:00
tmp . number = toInt ( o [ " blockHeader " ] . get_obj ( ) [ " number " ] ) ;
2015-02-16 10:04:05 +00:00
if ( o [ " blockHeader " ] . get_obj ( ) . count ( " gasLimit " ) )
2015-02-13 17:25:47 +00:00
tmp . gasLimit = toInt ( o [ " blockHeader " ] . get_obj ( ) [ " gasLimit " ] ) ;
2015-02-16 10:04:05 +00:00
if ( o [ " blockHeader " ] . get_obj ( ) . count ( " gasUsed " ) )
2015-02-13 17:25:47 +00:00
tmp . gasUsed = toInt ( o [ " blockHeader " ] . get_obj ( ) [ " gasUsed " ] ) ;
2015-02-16 10:04:05 +00:00
if ( o [ " blockHeader " ] . get_obj ( ) . count ( " timestamp " ) )
2015-02-13 17:25:47 +00:00
tmp . timestamp = toInt ( o [ " blockHeader " ] . get_obj ( ) [ " timestamp " ] ) ;
2015-02-16 10:04:05 +00:00
if ( o [ " blockHeader " ] . get_obj ( ) . count ( " extraData " ) )
2015-02-13 17:25:47 +00:00
tmp . extraData = importByteArray ( o [ " blockHeader " ] . get_obj ( ) [ " extraData " ] . get_str ( ) ) ;
// find new valid nonce
if ( tmp ! = current_BlockHeader )
{
current_BlockHeader = tmp ;
cout < < " new header! \n " ;
ProofOfWork pow ;
MineInfo ret ;
while ( ! ProofOfWork : : verify ( current_BlockHeader . headerHash ( WithoutNonce ) , current_BlockHeader . nonce , current_BlockHeader . difficulty ) )
tie ( ret , current_BlockHeader . nonce ) = pow . mine ( current_BlockHeader . headerHash ( WithoutNonce ) , current_BlockHeader . difficulty , 10000 , true , true ) ;
}
}
else
{
// take the blockheader as is
2015-02-16 10:04:05 +00:00
const bytes c_blockRLP = createBlockRLPFromFields ( o [ " blockHeader " ] . get_obj ( ) ) ;
2015-02-13 17:25:47 +00:00
const RLP c_bRLP ( c_blockRLP ) ;
current_BlockHeader . populateFromHeader ( c_bRLP , false ) ;
}
}
2015-02-16 10:04:05 +00:00
// write block header
mObject oBlockHeader ;
oBlockHeader [ " parentHash " ] = toString ( current_BlockHeader . parentHash ) ;
oBlockHeader [ " uncleHash " ] = toString ( current_BlockHeader . sha3Uncles ) ;
oBlockHeader [ " coinbase " ] = toString ( current_BlockHeader . coinbaseAddress ) ;
oBlockHeader [ " stateRoot " ] = toString ( current_BlockHeader . stateRoot ) ;
oBlockHeader [ " transactionsTrie " ] = toString ( current_BlockHeader . transactionsRoot ) ;
oBlockHeader [ " receiptTrie " ] = toString ( current_BlockHeader . receiptsRoot ) ;
oBlockHeader [ " bloom " ] = toString ( current_BlockHeader . logBloom ) ;
oBlockHeader [ " difficulty " ] = toString ( current_BlockHeader . difficulty ) ;
oBlockHeader [ " number " ] = toString ( current_BlockHeader . number ) ;
oBlockHeader [ " gasLimit " ] = toString ( current_BlockHeader . gasLimit ) ;
oBlockHeader [ " gasUsed " ] = toString ( current_BlockHeader . gasUsed ) ;
oBlockHeader [ " timestamp " ] = toString ( current_BlockHeader . timestamp ) ;
oBlockHeader [ " extraData " ] = toHex ( current_BlockHeader . extraData ) ;
oBlockHeader [ " nonce " ] = toString ( current_BlockHeader . nonce ) ;
o [ " blockHeader " ] = oBlockHeader ;
// write uncle list
mArray aUncleList ; // as of now, our parent is always the genesis block, so we can not have uncles.
o [ " uncleHeaders " ] = aUncleList ;
2015-02-13 17:25:47 +00:00
//txs:
RLPStream txStream ;
txStream . appendList ( txList . size ( ) ) ;
for ( unsigned i = 0 ; i < txList . size ( ) ; + + i )
{
RLPStream txrlp ;
txList [ i ] . streamRLP ( txrlp ) ;
txStream . appendRaw ( txrlp . out ( ) ) ;
}
RLPStream rlpStream2 ;
current_BlockHeader . streamRLP ( rlpStream2 , WithNonce ) ;
RLPStream block2 ( 3 ) ;
block2 . appendRaw ( rlpStream2 . out ( ) ) ;
block2 . appendRaw ( txStream . out ( ) ) ;
block2 . appendRaw ( RLPEmptyList ) ;
2015-02-16 10:04:05 +00:00
o [ " rlp " ] = " 0x " + toHex ( block2 . out ( ) ) ;
2015-02-13 17:25:47 +00:00
if ( sha3 ( RLP ( state . blockData ( ) ) [ 0 ] . data ( ) ) ! = sha3 ( RLP ( block2 . out ( ) ) [ 0 ] . data ( ) ) )
2015-02-16 10:04:05 +00:00
cnote < < " block header mismatch \n " ;
2015-02-13 17:25:47 +00:00
if ( sha3 ( RLP ( state . blockData ( ) ) [ 1 ] . data ( ) ) ! = sha3 ( RLP ( block2 . out ( ) ) [ 1 ] . data ( ) ) )
2015-02-16 10:04:05 +00:00
cnote < < " txs mismatch \n " ;
2015-02-13 17:25:47 +00:00
if ( sha3 ( RLP ( state . blockData ( ) ) [ 2 ] . data ( ) ) ! = sha3 ( RLP ( block2 . out ( ) ) [ 2 ] . data ( ) ) )
2015-02-16 10:04:05 +00:00
cnote < < " uncle list mismatch \n " ;
2015-02-13 17:25:47 +00:00
2015-02-16 10:04:05 +00:00
try
2015-02-13 17:25:47 +00:00
{
2015-02-16 10:04:05 +00:00
ImportTest importerTmp ( o [ " pre " ] . get_obj ( ) ) ;
State stateTmp ( Address ( ) , OverlayDB ( ) , BaseState : : Empty ) ;
importerTmp . importState ( o [ " pre " ] . get_obj ( ) , stateTmp ) ;
stateTmp . commit ( ) ;
2015-02-16 12:04:28 +00:00
BlockChain bcTmp ( block . out ( ) , getDataDir ( ) + " /tmpBlockChain.bc " , true ) ;
2015-02-16 10:04:05 +00:00
stateTmp . sync ( bcTmp ) ;
bc . import ( block2 . out ( ) , stateTmp . db ( ) ) ;
stateTmp . sync ( bcTmp ) ;
}
// if exception is thrown, RLP is invalid and no blockHeader, Transaction list, or Uncle list should be given
catch ( . . . )
{
cnote < < " block is invalid! \n " ;
2015-02-13 17:25:47 +00:00
o . erase ( o . find ( " blockHeader " ) ) ;
o . erase ( o . find ( " uncleHeaders " ) ) ;
o . erase ( o . find ( " transactions " ) ) ;
}
2015-02-11 17:17:01 +00:00
}
else
{
2015-02-16 10:04:05 +00:00
bytes blockRLP ;
2015-02-11 17:17:01 +00:00
try
{
2015-02-11 21:05:34 +00:00
state . sync ( bc ) ;
2015-02-16 10:04:05 +00:00
blockRLP = importByteArray ( o [ " rlp " ] . get_str ( ) ) ;
2015-02-11 21:05:34 +00:00
bc . import ( blockRLP , state . db ( ) ) ;
state . sync ( bc ) ;
2015-02-11 17:17:01 +00:00
}
2015-02-13 17:25:47 +00:00
// if exception is thrown, RLP is invalid and no blockHeader, Transaction list, or Uncle list should be given
2015-02-11 17:17:01 +00:00
catch ( Exception const & _e )
{
cnote < < " state sync or block import did throw an exception: " < < diagnostic_information ( _e ) ;
2015-02-11 07:37:54 +00:00
BOOST_CHECK ( o . count ( " blockHeader " ) = = 0 ) ;
BOOST_CHECK ( o . count ( " transactions " ) = = 0 ) ;
BOOST_CHECK ( o . count ( " uncleHeaders " ) = = 0 ) ;
2015-02-16 10:04:05 +00:00
continue ;
2015-02-11 17:17:01 +00:00
}
catch ( std : : exception const & _e )
{
cnote < < " state sync or block import did throw an exception: " < < _e . what ( ) ;
2015-02-11 07:37:54 +00:00
BOOST_CHECK ( o . count ( " blockHeader " ) = = 0 ) ;
BOOST_CHECK ( o . count ( " transactions " ) = = 0 ) ;
BOOST_CHECK ( o . count ( " uncleHeaders " ) = = 0 ) ;
2015-02-16 10:04:05 +00:00
continue ;
2015-02-11 17:17:01 +00:00
}
catch ( . . . )
{
2015-02-11 07:37:54 +00:00
cnote < < " state sync or block import did throw an exception \n " ;
2015-02-11 17:17:01 +00:00
BOOST_CHECK ( o . count ( " blockHeader " ) = = 0 ) ;
BOOST_CHECK ( o . count ( " transactions " ) = = 0 ) ;
BOOST_CHECK ( o . count ( " uncleHeaders " ) = = 0 ) ;
2015-02-16 10:04:05 +00:00
continue ;
2015-02-11 17:17:01 +00:00
}
2015-02-16 10:04:05 +00:00
BOOST_REQUIRE ( o . count ( " blockHeader " ) ) ;
2015-02-11 07:37:54 +00:00
mObject tObj = o [ " blockHeader " ] . get_obj ( ) ;
BlockInfo blockHeaderFromFields ;
2015-02-12 19:13:44 +00:00
const bytes c_rlpBytesBlockHeader = createBlockRLPFromFields ( tObj ) ;
const RLP c_blockHeaderRLP ( c_rlpBytesBlockHeader ) ;
blockHeaderFromFields . populateFromHeader ( c_blockHeaderRLP , false ) ;
2015-02-11 07:37:54 +00:00
BlockInfo blockFromRlp = bc . info ( ) ;
//Check the fields restored from RLP to original fields
2015-02-11 17:17:01 +00:00
BOOST_CHECK_MESSAGE ( blockHeaderFromFields . headerHash ( WithNonce ) = = blockFromRlp . headerHash ( WithNonce ) , " hash in given RLP not matching the block hash! " ) ;
2015-02-11 07:37:54 +00:00
BOOST_CHECK_MESSAGE ( blockHeaderFromFields . parentHash = = blockFromRlp . parentHash , " parentHash in given RLP not matching the block parentHash! " ) ;
BOOST_CHECK_MESSAGE ( blockHeaderFromFields . sha3Uncles = = blockFromRlp . sha3Uncles , " sha3Uncles in given RLP not matching the block sha3Uncles! " ) ;
BOOST_CHECK_MESSAGE ( blockHeaderFromFields . coinbaseAddress = = blockFromRlp . coinbaseAddress , " coinbaseAddress in given RLP not matching the block coinbaseAddress! " ) ;
BOOST_CHECK_MESSAGE ( blockHeaderFromFields . stateRoot = = blockFromRlp . stateRoot , " stateRoot in given RLP not matching the block stateRoot! " ) ;
BOOST_CHECK_MESSAGE ( blockHeaderFromFields . transactionsRoot = = blockFromRlp . transactionsRoot , " transactionsRoot in given RLP not matching the block transactionsRoot! " ) ;
2015-02-11 17:17:01 +00:00
BOOST_CHECK_MESSAGE ( blockHeaderFromFields . receiptsRoot = = blockFromRlp . receiptsRoot , " receiptsRoot in given RLP not matching the block receiptsRoot! " ) ;
BOOST_CHECK_MESSAGE ( blockHeaderFromFields . logBloom = = blockFromRlp . logBloom , " logBloom in given RLP not matching the block logBloom! " ) ;
2015-02-11 07:37:54 +00:00
BOOST_CHECK_MESSAGE ( blockHeaderFromFields . difficulty = = blockFromRlp . difficulty , " difficulty in given RLP not matching the block difficulty! " ) ;
BOOST_CHECK_MESSAGE ( blockHeaderFromFields . number = = blockFromRlp . number , " number in given RLP not matching the block number! " ) ;
BOOST_CHECK_MESSAGE ( blockHeaderFromFields . gasLimit = = blockFromRlp . gasLimit , " gasLimit in given RLP not matching the block gasLimit! " ) ;
BOOST_CHECK_MESSAGE ( blockHeaderFromFields . gasUsed = = blockFromRlp . gasUsed , " gasUsed in given RLP not matching the block gasUsed! " ) ;
BOOST_CHECK_MESSAGE ( blockHeaderFromFields . timestamp = = blockFromRlp . timestamp , " timestamp in given RLP not matching the block timestamp! " ) ;
BOOST_CHECK_MESSAGE ( blockHeaderFromFields . extraData = = blockFromRlp . extraData , " extraData in given RLP not matching the block extraData! " ) ;
BOOST_CHECK_MESSAGE ( blockHeaderFromFields . nonce = = blockFromRlp . nonce , " nonce in given RLP not matching the block nonce! " ) ;
BOOST_CHECK_MESSAGE ( blockHeaderFromFields = = blockFromRlp , " However, blockHeaderFromFields != blockFromRlp! " ) ;
2015-02-10 07:35:18 +00:00
2015-02-11 17:17:01 +00:00
//Check transaction list
Transactions txsFromField ;
for ( auto const & txObj : o [ " transactions " ] . get_array ( ) )
{
mObject tx = txObj . get_obj ( ) ;
2015-02-13 09:59:47 +00:00
2015-02-16 10:04:05 +00:00
BOOST_REQUIRE ( tx . count ( " nonce " ) ) ;
BOOST_REQUIRE ( tx . count ( " gasPrice " ) ) ;
BOOST_REQUIRE ( tx . count ( " gasLimit " ) ) ;
BOOST_REQUIRE ( tx . count ( " to " ) ) ;
BOOST_REQUIRE ( tx . count ( " value " ) ) ;
BOOST_REQUIRE ( tx . count ( " v " ) ) ;
BOOST_REQUIRE ( tx . count ( " r " ) ) ;
BOOST_REQUIRE ( tx . count ( " s " ) ) ;
BOOST_REQUIRE ( tx . count ( " data " ) ) ;
2015-02-11 17:17:01 +00:00
2015-02-13 09:59:47 +00:00
try
{
Transaction t ( createRLPStreamFromTransactionFields ( tx ) . out ( ) , CheckSignature : : Sender ) ;
txsFromField . push_back ( t ) ;
}
catch ( Exception const & _e )
{
BOOST_ERROR ( " Failed transaction constructor with Exception: " < < diagnostic_information ( _e ) ) ;
}
catch ( exception const & _e )
{
2015-02-16 10:04:05 +00:00
cnote < < _e . what ( ) ;
2015-02-13 09:59:47 +00:00
}
2015-02-11 17:17:01 +00:00
}
Transactions txsFromRlp ;
2015-02-12 19:13:44 +00:00
RLP root ( blockRLP ) ;
2015-02-11 17:17:01 +00:00
for ( auto const & tr : root [ 1 ] )
{
Transaction tx ( tr . data ( ) , CheckSignature : : Sender ) ;
txsFromRlp . push_back ( tx ) ;
}
BOOST_CHECK_MESSAGE ( txsFromRlp . size ( ) = = txsFromField . size ( ) , " transaction list size does not match " ) ;
for ( size_t i = 0 ; i < txsFromField . size ( ) ; + + i )
{
BOOST_CHECK_MESSAGE ( txsFromField [ i ] . data ( ) = = txsFromRlp [ i ] . data ( ) , " transaction data in rlp and in field do not match " ) ;
BOOST_CHECK_MESSAGE ( txsFromField [ i ] . gas ( ) = = txsFromRlp [ i ] . gas ( ) , " transaction gasLimit in rlp and in field do not match " ) ;
BOOST_CHECK_MESSAGE ( txsFromField [ i ] . gasPrice ( ) = = txsFromRlp [ i ] . gasPrice ( ) , " transaction gasPrice in rlp and in field do not match " ) ;
BOOST_CHECK_MESSAGE ( txsFromField [ i ] . nonce ( ) = = txsFromRlp [ i ] . nonce ( ) , " transaction nonce in rlp and in field do not match " ) ;
BOOST_CHECK_MESSAGE ( txsFromField [ i ] . signature ( ) . r = = txsFromRlp [ i ] . signature ( ) . r , " transaction r in rlp and in field do not match " ) ;
BOOST_CHECK_MESSAGE ( txsFromField [ i ] . signature ( ) . s = = txsFromRlp [ i ] . signature ( ) . s , " transaction s in rlp and in field do not match " ) ;
BOOST_CHECK_MESSAGE ( txsFromField [ i ] . signature ( ) . v = = txsFromRlp [ i ] . signature ( ) . v , " transaction v in rlp and in field do not match " ) ;
BOOST_CHECK_MESSAGE ( txsFromField [ i ] . receiveAddress ( ) = = txsFromRlp [ i ] . receiveAddress ( ) , " transaction receiveAddress in rlp and in field do not match " ) ;
BOOST_CHECK_MESSAGE ( txsFromField [ i ] . value ( ) = = txsFromRlp [ i ] . value ( ) , " transaction receiveAddress in rlp and in field do not match " ) ;
2015-02-16 10:04:05 +00:00
BOOST_CHECK_MESSAGE ( txsFromField [ i ] = = txsFromRlp [ i ] , " transactions in rlp and in transaction field do not match " ) ;
2015-02-11 17:17:01 +00:00
}
// check uncle list
BOOST_CHECK_MESSAGE ( ( o [ " uncleList " ] . type ( ) = = json_spirit : : null_type ? 0 : o [ " uncleList " ] . get_array ( ) . size ( ) ) = = 0 , " Uncle list is not empty, but the genesis block can not have uncles " ) ;
}
}
2015-02-05 15:34:46 +00:00
}
} } // Namespace Close
BOOST_AUTO_TEST_SUITE ( BlockTests )
2015-02-16 10:06:22 +00:00
BOOST_AUTO_TEST_CASE ( blValidBlockTest )
{
dev : : test : : executeTests ( " blValidBlockTest " , " /BlockTests " , dev : : test : : doBlockTests ) ;
}
2015-02-16 10:04:05 +00:00
2015-02-25 14:57:51 +00:00
BOOST_AUTO_TEST_CASE ( blInvalidTransactionRLP )
{
dev : : test : : executeTests ( " blInvalidTransactionRLP " , " /BlockTests " , dev : : test : : doBlockTests ) ;
}
2015-02-16 10:04:05 +00:00
BOOST_AUTO_TEST_CASE ( blInvalidHeaderTest )
2015-02-05 15:34:46 +00:00
{
2015-02-16 10:04:05 +00:00
dev : : test : : executeTests ( " blInvalidHeaderTest " , " /BlockTests " , dev : : test : : doBlockTests ) ;
2015-02-05 15:34:46 +00:00
}
2015-02-11 07:37:54 +00:00
BOOST_AUTO_TEST_CASE ( userDefinedFileBl )
{
2015-02-13 17:25:47 +00:00
dev : : test : : userDefinedTest ( " --bltest " , dev : : test : : doBlockTests ) ;
2015-02-11 07:37:54 +00:00
}
2015-02-05 15:34:46 +00:00
BOOST_AUTO_TEST_SUITE_END ( )