mirror of
				https://github.com/ethereum/solidity
				synced 2023-10-03 13:03:40 +00:00 
			
		
		
		
	Add Log tests
This commit is contained in:
		
							parent
							
								
									52dc2b4bc5
								
							
						
					
					
						commit
						b1e26e28e3
					
				| @ -287,6 +287,18 @@ void checkStorage(map<u256, u256> _expectedStore, map<u256, u256> _resultStore, | |||||||
| 	} | 	} | ||||||
| } | } | ||||||
| 
 | 
 | ||||||
|  | void checkLog(LogEntries _resultLogs, LogEntries _expectedLogs) | ||||||
|  | { | ||||||
|  | 	BOOST_REQUIRE_EQUAL(_resultLogs.size(), _expectedLogs.size()); | ||||||
|  | 
 | ||||||
|  | 	for (size_t i = 0; i < _resultLogs.size(); ++i) | ||||||
|  | 	{ | ||||||
|  | 		BOOST_CHECK(_resultLogs[i].address == _expectedLogs[i].address); | ||||||
|  | 		BOOST_CHECK(_resultLogs[i].topics == _expectedLogs[i].topics); | ||||||
|  | 		BOOST_CHECK(_resultLogs[i].data == _expectedLogs[i].data); | ||||||
|  | 	} | ||||||
|  | } | ||||||
|  | 
 | ||||||
| std::string getTestPath() | std::string getTestPath() | ||||||
| { | { | ||||||
| 	string testPath; | 	string testPath; | ||||||
|  | |||||||
| @ -25,6 +25,7 @@ | |||||||
| #include <boost/test/unit_test.hpp> | #include <boost/test/unit_test.hpp> | ||||||
| #include "JsonSpiritHeaders.h" | #include "JsonSpiritHeaders.h" | ||||||
| #include <libethereum/State.h> | #include <libethereum/State.h> | ||||||
|  | #include <libevm/ExtVMFace.h> | ||||||
| 
 | 
 | ||||||
| namespace dev | namespace dev | ||||||
| { | { | ||||||
| @ -69,6 +70,7 @@ bytes importCode(json_spirit::mObject& _o); | |||||||
| bytes importData(json_spirit::mObject& _o); | bytes importData(json_spirit::mObject& _o); | ||||||
| void checkOutput(bytes const& _output, json_spirit::mObject& _o); | void checkOutput(bytes const& _output, json_spirit::mObject& _o); | ||||||
| void checkStorage(std::map<u256, u256> _expectedStore, std::map<u256, u256> _resultStore, Address _expectedAddr); | void checkStorage(std::map<u256, u256> _expectedStore, std::map<u256, u256> _resultStore, Address _expectedAddr); | ||||||
|  | void checkLog(eth::LogEntries _resultLogs, eth::LogEntries _expectedLogs); | ||||||
| void executeTests(const std::string& _name, const std::string& _testPathAppendix, std::function<void(json_spirit::mValue&, bool)> doTests); | void executeTests(const std::string& _name, const std::string& _testPathAppendix, std::function<void(json_spirit::mValue&, bool)> doTests); | ||||||
| std::string getTestPath(); | std::string getTestPath(); | ||||||
| void userDefinedTest(std::string testTypeFlag, std::function<void(json_spirit::mValue&, bool)> doTests); | void userDefinedTest(std::string testTypeFlag, std::function<void(json_spirit::mValue&, bool)> doTests); | ||||||
|  | |||||||
							
								
								
									
										49
									
								
								vm.cpp
									
									
									
									
									
								
							
							
						
						
									
										49
									
								
								vm.cpp
									
									
									
									
									
								
							| @ -120,6 +120,43 @@ void FakeExtVM::importEnv(mObject& _o) | |||||||
| 	currentBlock.coinbaseAddress = Address(_o["currentCoinbase"].get_str()); | 	currentBlock.coinbaseAddress = Address(_o["currentCoinbase"].get_str()); | ||||||
| } | } | ||||||
| 
 | 
 | ||||||
|  | mObject FakeExtVM::exportLog() | ||||||
|  | { | ||||||
|  | 	mObject ret; | ||||||
|  | 	for (LogEntry const& l: sub.logs) | ||||||
|  | 	{ | ||||||
|  | 		mObject o; | ||||||
|  | 		o["address"] = toString(l.address); | ||||||
|  | 		mArray topics; | ||||||
|  | 		for (auto const& t: l.topics) | ||||||
|  | 			topics.push_back(toString(t)); | ||||||
|  | 		o["topics"] = topics; | ||||||
|  | 		o["data"] = "0x" + toHex(l.data); | ||||||
|  | 		ret[toString(l.bloom())] = o; | ||||||
|  | 	} | ||||||
|  | 	return ret; | ||||||
|  | } | ||||||
|  | 
 | ||||||
|  | void FakeExtVM::importLog(mObject& _o) | ||||||
|  | { | ||||||
|  | 	for (auto const& l: _o) | ||||||
|  | 	{ | ||||||
|  | 		mObject o = l.second.get_obj(); | ||||||
|  | 		// cant use BOOST_REQUIRE, because this function is used outside boost test (createRandomTest)
 | ||||||
|  | 		assert(o.count("address") > 0); | ||||||
|  | 		assert(o.count("topics") > 0); | ||||||
|  | 		assert(o.count("data") > 0); | ||||||
|  | 		LogEntry log; | ||||||
|  | 		log.address = Address(o["address"].get_str()); | ||||||
|  | 		for (auto const& t: o["topics"].get_array()) | ||||||
|  | 		{ | ||||||
|  | 			log.topics.insert(h256(t.get_str())); | ||||||
|  | 		} | ||||||
|  | 		log.data = importData(o); | ||||||
|  | 		sub.logs.push_back(log); | ||||||
|  | 	} | ||||||
|  | } | ||||||
|  | 
 | ||||||
| mObject FakeExtVM::exportState() | mObject FakeExtVM::exportState() | ||||||
| { | { | ||||||
| 	mObject ret; | 	mObject ret; | ||||||
| @ -302,7 +339,7 @@ void doVMTests(json_spirit::mValue& v, bool _fillin) | |||||||
| 		u256 gas; | 		u256 gas; | ||||||
| 		try | 		try | ||||||
| 		{ | 		{ | ||||||
| 			output = vm.go(fev, fev.simpleTrace()).toVector(); | 			output = vm.go(fev, fev.simpleTrace()).toBytes(); | ||||||
| 			gas = vm.gas(); | 			gas = vm.gas(); | ||||||
| 		} | 		} | ||||||
| 		catch (VMException const& _e) | 		catch (VMException const& _e) | ||||||
| @ -346,6 +383,7 @@ void doVMTests(json_spirit::mValue& v, bool _fillin) | |||||||
| 			o["callcreates"] = fev.exportCallCreates(); | 			o["callcreates"] = fev.exportCallCreates(); | ||||||
| 			o["out"] = "0x" + toHex(output); | 			o["out"] = "0x" + toHex(output); | ||||||
| 			fev.push(o, "gas", gas); | 			fev.push(o, "gas", gas); | ||||||
|  | 			o["logs"] = mValue(fev.exportLog()); | ||||||
| 		} | 		} | ||||||
| 		else | 		else | ||||||
| 		{ | 		{ | ||||||
| @ -353,10 +391,12 @@ void doVMTests(json_spirit::mValue& v, bool _fillin) | |||||||
| 			BOOST_REQUIRE(o.count("callcreates") > 0); | 			BOOST_REQUIRE(o.count("callcreates") > 0); | ||||||
| 			BOOST_REQUIRE(o.count("out") > 0); | 			BOOST_REQUIRE(o.count("out") > 0); | ||||||
| 			BOOST_REQUIRE(o.count("gas") > 0); | 			BOOST_REQUIRE(o.count("gas") > 0); | ||||||
|  | 			BOOST_REQUIRE(o.count("logs") > 0); | ||||||
| 
 | 
 | ||||||
| 			dev::test::FakeExtVM test; | 			dev::test::FakeExtVM test; | ||||||
| 			test.importState(o["post"].get_obj()); | 			test.importState(o["post"].get_obj()); | ||||||
| 			test.importCallCreates(o["callcreates"].get_array()); | 			test.importCallCreates(o["callcreates"].get_array()); | ||||||
|  | 			test.importLog(o["logs"].get_obj()); | ||||||
| 
 | 
 | ||||||
| 			checkOutput(output, o); | 			checkOutput(output, o); | ||||||
| 
 | 
 | ||||||
| @ -384,6 +424,8 @@ void doVMTests(json_spirit::mValue& v, bool _fillin) | |||||||
| 
 | 
 | ||||||
| 			checkAddresses<std::map<Address, std::tuple<u256, u256, std::map<u256, u256>, bytes> > >(test.addresses, fev.addresses); | 			checkAddresses<std::map<Address, std::tuple<u256, u256, std::map<u256, u256>, bytes> > >(test.addresses, fev.addresses); | ||||||
| 			BOOST_CHECK(test.callcreates == fev.callcreates); | 			BOOST_CHECK(test.callcreates == fev.callcreates); | ||||||
|  | 
 | ||||||
|  | 			checkLog(fev.sub.logs, test.sub.logs); | ||||||
| 		} | 		} | ||||||
| 	} | 	} | ||||||
| } | } | ||||||
| @ -432,6 +474,11 @@ BOOST_AUTO_TEST_CASE(vmPushDupSwapTest) | |||||||
| 	dev::test::executeTests("vmPushDupSwapTest", "/VMTests", dev::test::doVMTests); | 	dev::test::executeTests("vmPushDupSwapTest", "/VMTests", dev::test::doVMTests); | ||||||
| } | } | ||||||
| 
 | 
 | ||||||
|  | BOOST_AUTO_TEST_CASE(vmLogTest) | ||||||
|  | { | ||||||
|  | 	dev::test::executeTests("vmLogTest", "/VMTests", dev::test::doVMTests); | ||||||
|  | } | ||||||
|  | 
 | ||||||
| BOOST_AUTO_TEST_CASE(vmRandom) | BOOST_AUTO_TEST_CASE(vmRandom) | ||||||
| { | { | ||||||
| 	string testPath = getTestPath(); | 	string testPath = getTestPath(); | ||||||
|  | |||||||
							
								
								
									
										2
									
								
								vm.h
									
									
									
									
									
								
							
							
						
						
									
										2
									
								
								vm.h
									
									
									
									
									
								
							| @ -66,6 +66,8 @@ public: | |||||||
| 	u256 doPosts(); | 	u256 doPosts(); | ||||||
| 	json_spirit::mObject exportEnv(); | 	json_spirit::mObject exportEnv(); | ||||||
| 	void importEnv(json_spirit::mObject& _o); | 	void importEnv(json_spirit::mObject& _o); | ||||||
|  | 	json_spirit::mObject exportLog(); | ||||||
|  | 	void importLog(json_spirit::mObject& _o); | ||||||
| 	json_spirit::mObject exportState(); | 	json_spirit::mObject exportState(); | ||||||
| 	void importState(json_spirit::mObject& _object); | 	void importState(json_spirit::mObject& _object); | ||||||
| 	json_spirit::mObject exportExec(); | 	json_spirit::mObject exportExec(); | ||||||
|  | |||||||
							
								
								
									
										113
									
								
								vmLogTestFiller.json
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										113
									
								
								vmLogTestFiller.json
									
									
									
									
									
										Normal file
									
								
							| @ -0,0 +1,113 @@ | |||||||
|  | { | ||||||
|  |     "log0": { | ||||||
|  |         "env" : { | ||||||
|  |         "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6", | ||||||
|  |         "currentNumber" : "0", | ||||||
|  |         "currentGasLimit" : "1000000", | ||||||
|  |         "currentDifficulty" : "256", | ||||||
|  |         "currentTimestamp" : 1, | ||||||
|  |         "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" | ||||||
|  |         }, | ||||||
|  |         "pre" : { | ||||||
|  |         "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { | ||||||
|  |             "balance" : "1000000000000000000", | ||||||
|  |             "nonce" : 0, | ||||||
|  |             "code" : "{ (LOG0 0 0) }", | ||||||
|  |             "storage": {} | ||||||
|  |         } | ||||||
|  |         }, | ||||||
|  |         "exec" : { | ||||||
|  |             "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", | ||||||
|  |             "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681", | ||||||
|  |             "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681", | ||||||
|  |             "value" : "1000000000000000000", | ||||||
|  |             "data" : "", | ||||||
|  |             "gasPrice" : "100000000000000", | ||||||
|  |             "gas" : "10000" | ||||||
|  |         } | ||||||
|  |     }, | ||||||
|  | 
 | ||||||
|  |     "log1": { | ||||||
|  |         "env" : { | ||||||
|  |         "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6", | ||||||
|  |         "currentNumber" : "0", | ||||||
|  |         "currentGasLimit" : "1000000", | ||||||
|  |         "currentDifficulty" : "256", | ||||||
|  |         "currentTimestamp" : 1, | ||||||
|  |         "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" | ||||||
|  |         }, | ||||||
|  |         "pre" : { | ||||||
|  |         "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { | ||||||
|  |             "balance" : "1000000000000000000", | ||||||
|  |             "nonce" : 0, | ||||||
|  |             "code" : "{ (LOG1 0 0 (CALLER)) }", | ||||||
|  |             "storage": {} | ||||||
|  |         } | ||||||
|  |         }, | ||||||
|  |         "exec" : { | ||||||
|  |             "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", | ||||||
|  |             "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681", | ||||||
|  |             "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681", | ||||||
|  |             "value" : "1000000000000000000", | ||||||
|  |             "data" : "", | ||||||
|  |             "gasPrice" : "100000000000000", | ||||||
|  |             "gas" : "10000" | ||||||
|  |         } | ||||||
|  |     }, | ||||||
|  | 
 | ||||||
|  |     "log2": { | ||||||
|  |         "env" : { | ||||||
|  |         "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6", | ||||||
|  |         "currentNumber" : "0", | ||||||
|  |         "currentGasLimit" : "1000000", | ||||||
|  |         "currentDifficulty" : "256", | ||||||
|  |         "currentTimestamp" : 1, | ||||||
|  |         "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" | ||||||
|  |         }, | ||||||
|  |         "pre" : { | ||||||
|  |         "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { | ||||||
|  |             "balance" : "1000000000000000000", | ||||||
|  |             "nonce" : 0, | ||||||
|  |             "code" : "{ (LOG2 0 0 (CALLER) (ADDRESS)) }", | ||||||
|  |             "storage": {} | ||||||
|  |         } | ||||||
|  |         }, | ||||||
|  |         "exec" : { | ||||||
|  |             "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", | ||||||
|  |             "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681", | ||||||
|  |             "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681", | ||||||
|  |             "value" : "1000000000000000000", | ||||||
|  |             "data" : "", | ||||||
|  |             "gasPrice" : "100000000000000", | ||||||
|  |             "gas" : "10000" | ||||||
|  |         } | ||||||
|  |     }, | ||||||
|  | 
 | ||||||
|  |     "log2_1": { | ||||||
|  |         "env" : { | ||||||
|  |         "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6", | ||||||
|  |         "currentNumber" : "0", | ||||||
|  |         "currentGasLimit" : "1000000", | ||||||
|  |         "currentDifficulty" : "256", | ||||||
|  |         "currentTimestamp" : 1, | ||||||
|  |         "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" | ||||||
|  |         }, | ||||||
|  |         "pre" : { | ||||||
|  |         "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { | ||||||
|  |             "balance" : "1000000000000000000", | ||||||
|  |             "nonce" : 0, | ||||||
|  |             "code" : "{ (LOG2 0 0 (CALLER) 23) }", | ||||||
|  |             "storage": {} | ||||||
|  |         } | ||||||
|  |         }, | ||||||
|  |         "exec" : { | ||||||
|  |             "address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", | ||||||
|  |             "origin" : "cd1722f3947def4cf144679da39c4c32bdc35681", | ||||||
|  |             "caller" : "cd1722f3947def4cf144679da39c4c32bdc35681", | ||||||
|  |             "value" : "1000000000000000000", | ||||||
|  |             "data" : "", | ||||||
|  |             "gasPrice" : "100000000000000", | ||||||
|  |             "gas" : "10000" | ||||||
|  |         } | ||||||
|  |     } | ||||||
|  | } | ||||||
		Loading…
	
		Reference in New Issue
	
	Block a user