2016-01-13 01:23:01 +01:00
|
|
|
use super::test_common::*;
|
|
|
|
use state::*;
|
|
|
|
use executive::*;
|
|
|
|
use spec::*;
|
|
|
|
use engine::*;
|
2016-01-13 13:16:53 +01:00
|
|
|
use evm;
|
|
|
|
use evm::{Schedule, Ext, Factory};
|
2016-01-13 01:23:01 +01:00
|
|
|
use ethereum;
|
|
|
|
|
|
|
|
struct TestEngine {
|
|
|
|
spec: Spec,
|
|
|
|
stack_limit: usize
|
|
|
|
}
|
|
|
|
|
|
|
|
impl TestEngine {
|
|
|
|
fn new(stack_limit: usize) -> TestEngine {
|
|
|
|
TestEngine {
|
|
|
|
spec: ethereum::new_frontier_test(),
|
|
|
|
stack_limit: stack_limit
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Engine for TestEngine {
|
|
|
|
fn name(&self) -> &str { "TestEngine" }
|
|
|
|
fn spec(&self) -> &Spec { &self.spec }
|
|
|
|
fn schedule(&self, _env_info: &EnvInfo) -> Schedule {
|
|
|
|
let mut schedule = Schedule::new_frontier();
|
|
|
|
schedule.stack_limit = self.stack_limit;
|
|
|
|
schedule
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-01-13 13:16:53 +01:00
|
|
|
struct CallCreate {
|
|
|
|
data: Bytes,
|
|
|
|
destination: Address,
|
2016-01-13 17:26:04 +01:00
|
|
|
_gas_limit: U256,
|
2016-01-13 13:16:53 +01:00
|
|
|
value: U256
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Tiny wrapper around executive externalities.
|
|
|
|
/// Stores callcreates.
|
|
|
|
struct TestExt<'a> {
|
|
|
|
ext: Externalities<'a>,
|
|
|
|
callcreates: Vec<CallCreate>
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> TestExt<'a> {
|
|
|
|
fn new(ext: Externalities<'a>) -> TestExt {
|
|
|
|
TestExt {
|
|
|
|
ext: ext,
|
|
|
|
callcreates: vec![]
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> Ext for TestExt<'a> {
|
|
|
|
fn sload(&self, key: &H256) -> H256 {
|
|
|
|
self.ext.sload(key)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn sstore(&mut self, key: H256, value: H256) {
|
|
|
|
self.ext.sstore(key, value)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn balance(&self, address: &Address) -> U256 {
|
|
|
|
self.ext.balance(address)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn blockhash(&self, number: &U256) -> H256 {
|
|
|
|
self.ext.blockhash(number)
|
|
|
|
}
|
|
|
|
|
2016-01-13 22:29:49 +01:00
|
|
|
fn create(&mut self, gas: &U256, value: &U256, code: &[u8]) -> Result<(U256, Option<Address>), evm::Error> {
|
2016-01-13 13:16:53 +01:00
|
|
|
// in call and create we need to check if we exited with insufficient balance or max limit reached.
|
|
|
|
// in case of reaching max depth, we should store callcreates. Otherwise, ignore.
|
|
|
|
let res = self.ext.create(gas, value, code);
|
|
|
|
let ext = &self.ext;
|
|
|
|
match res {
|
|
|
|
// just record call create
|
|
|
|
Ok((gas_left, Some(address))) => {
|
|
|
|
self.callcreates.push(CallCreate {
|
|
|
|
data: code.to_vec(),
|
|
|
|
destination: address.clone(),
|
2016-01-13 22:29:49 +01:00
|
|
|
_gas_limit: *gas,
|
2016-01-13 13:16:53 +01:00
|
|
|
value: *value
|
|
|
|
});
|
|
|
|
Ok((gas_left, Some(address)))
|
|
|
|
},
|
|
|
|
// creation failed only due to reaching stack_limit
|
|
|
|
Ok((gas_left, None)) if ext.state.balance(&ext.params.address) >= *value => {
|
|
|
|
let address = contract_address(&ext.params.address, &ext.state.nonce(&ext.params.address));
|
|
|
|
self.callcreates.push(CallCreate {
|
|
|
|
data: code.to_vec(),
|
|
|
|
// TODO: address is not stored here?
|
|
|
|
destination: Address::new(),
|
2016-01-13 22:29:49 +01:00
|
|
|
_gas_limit: *gas,
|
2016-01-13 13:16:53 +01:00
|
|
|
value: *value
|
|
|
|
});
|
|
|
|
Ok((gas_left, Some(address)))
|
|
|
|
},
|
|
|
|
other => other
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn call(&mut self,
|
2016-01-13 22:36:59 +01:00
|
|
|
gas: &U256,
|
|
|
|
call_gas: &U256,
|
2016-01-13 13:16:53 +01:00
|
|
|
receive_address: &Address,
|
|
|
|
value: &U256,
|
|
|
|
data: &[u8],
|
|
|
|
code_address: &Address,
|
2016-01-13 22:36:59 +01:00
|
|
|
output: &mut [u8]) -> Result<U256, evm::Error> {
|
2016-01-13 13:16:53 +01:00
|
|
|
let res = self.ext.call(gas, call_gas, receive_address, value, data, code_address, output);
|
|
|
|
let ext = &self.ext;
|
|
|
|
match res {
|
|
|
|
Ok(gas_left) if ext.state.balance(&ext.params.address) >= *value => {
|
|
|
|
self.callcreates.push(CallCreate {
|
|
|
|
data: data.to_vec(),
|
|
|
|
destination: receive_address.clone(),
|
2016-01-13 22:36:59 +01:00
|
|
|
_gas_limit: *call_gas,
|
2016-01-13 13:16:53 +01:00
|
|
|
value: *value
|
|
|
|
});
|
|
|
|
Ok(gas_left)
|
|
|
|
},
|
|
|
|
other => other
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn extcode(&self, address: &Address) -> Vec<u8> {
|
|
|
|
self.ext.extcode(address)
|
|
|
|
}
|
|
|
|
|
2016-01-14 00:39:59 +01:00
|
|
|
fn log(&mut self, topics: Vec<H256>, data: &[u8]) {
|
2016-01-13 13:16:53 +01:00
|
|
|
self.ext.log(topics, data)
|
|
|
|
}
|
|
|
|
|
2016-01-13 22:16:24 +01:00
|
|
|
fn ret(&mut self, gas: &U256, data: &[u8]) -> Result<U256, evm::Error> {
|
2016-01-13 13:16:53 +01:00
|
|
|
self.ext.ret(gas, data)
|
|
|
|
}
|
|
|
|
|
2016-01-13 16:16:21 +01:00
|
|
|
fn suicide(&mut self, refund_address: &Address) {
|
|
|
|
self.ext.suicide(refund_address)
|
2016-01-13 13:16:53 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
fn schedule(&self) -> &Schedule {
|
|
|
|
self.ext.schedule()
|
|
|
|
}
|
|
|
|
|
|
|
|
fn env_info(&self) -> &EnvInfo {
|
|
|
|
self.ext.env_info()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-01-13 01:23:01 +01:00
|
|
|
fn do_json_test(json_data: &[u8]) -> Vec<String> {
|
|
|
|
let json = Json::from_str(::std::str::from_utf8(json_data).unwrap()).expect("Json is invalid");
|
|
|
|
let mut failed = Vec::new();
|
|
|
|
for (name, test) in json.as_object().unwrap() {
|
2016-01-13 17:26:04 +01:00
|
|
|
// sync io is usefull when something crashes in jit
|
2016-01-13 13:16:53 +01:00
|
|
|
//::std::io::stdout().write(&name.as_bytes());
|
|
|
|
//::std::io::stdout().write(b"\n");
|
|
|
|
//::std::io::stdout().flush();
|
2016-01-13 01:23:01 +01:00
|
|
|
let mut fail = false;
|
|
|
|
//let mut fail_unless = |cond: bool| if !cond && !fail { failed.push(name.to_string()); fail = true };
|
|
|
|
let mut fail_unless = |cond: bool, s: &str | if !cond && !fail { failed.push(name.to_string() + ": "+ s); fail = true };
|
|
|
|
|
|
|
|
// test env
|
|
|
|
let mut state = State::new_temp();
|
|
|
|
|
|
|
|
test.find("pre").map(|pre| for (addr, s) in pre.as_object().unwrap() {
|
2016-01-13 22:06:05 +01:00
|
|
|
let address = Address::from(addr.as_ref());
|
2016-01-13 01:23:01 +01:00
|
|
|
let balance = u256_from_json(&s["balance"]);
|
|
|
|
let code = bytes_from_json(&s["code"]);
|
2016-01-13 17:26:04 +01:00
|
|
|
let _nonce = u256_from_json(&s["nonce"]);
|
2016-01-13 01:23:01 +01:00
|
|
|
|
|
|
|
state.new_contract(&address);
|
|
|
|
state.add_balance(&address, &balance);
|
|
|
|
state.init_code(&address, code);
|
|
|
|
|
|
|
|
for (k, v) in s["storage"].as_object().unwrap() {
|
|
|
|
let key = H256::from(&u256_from_str(k));
|
|
|
|
let val = H256::from(&u256_from_json(v));
|
|
|
|
state.set_storage(&address, key, val);
|
|
|
|
}
|
|
|
|
});
|
|
|
|
|
|
|
|
let mut info = EnvInfo::new();
|
|
|
|
|
|
|
|
test.find("env").map(|env| {
|
|
|
|
info.author = address_from_json(&env["currentCoinbase"]);
|
|
|
|
info.difficulty = u256_from_json(&env["currentDifficulty"]);
|
|
|
|
info.gas_limit = u256_from_json(&env["currentGasLimit"]);
|
|
|
|
info.number = u256_from_json(&env["currentNumber"]).low_u64();
|
|
|
|
info.timestamp = u256_from_json(&env["currentTimestamp"]).low_u64();
|
|
|
|
});
|
|
|
|
|
|
|
|
let engine = TestEngine::new(0);
|
|
|
|
|
|
|
|
// params
|
|
|
|
let mut params = ActionParams::new();
|
|
|
|
test.find("exec").map(|exec| {
|
|
|
|
params.address = address_from_json(&exec["address"]);
|
|
|
|
params.sender = address_from_json(&exec["caller"]);
|
|
|
|
params.origin = address_from_json(&exec["origin"]);
|
|
|
|
params.code = bytes_from_json(&exec["code"]);
|
|
|
|
params.data = bytes_from_json(&exec["data"]);
|
|
|
|
params.gas = u256_from_json(&exec["gas"]);
|
|
|
|
params.gas_price = u256_from_json(&exec["gasPrice"]);
|
|
|
|
params.value = u256_from_json(&exec["value"]);
|
|
|
|
});
|
|
|
|
|
2016-01-13 17:26:04 +01:00
|
|
|
let out_of_gas = test.find("callcreates").map(|_calls| {
|
2016-01-13 01:23:01 +01:00
|
|
|
}).is_none();
|
|
|
|
|
|
|
|
let mut substate = Substate::new();
|
2016-01-13 15:26:52 +01:00
|
|
|
let mut output = vec![];
|
2016-01-13 01:23:01 +01:00
|
|
|
|
|
|
|
// execute
|
2016-01-13 17:26:04 +01:00
|
|
|
let (res, callcreates) = {
|
2016-01-13 15:26:52 +01:00
|
|
|
let ex = Externalities::new(&mut state, &info, &engine, 0, ¶ms, &mut substate, OutputPolicy::Return(BytesRef::Flexible(&mut output)));
|
2016-01-13 13:16:53 +01:00
|
|
|
let mut test_ext = TestExt::new(ex);
|
|
|
|
let evm = Factory::create();
|
2016-01-13 17:26:04 +01:00
|
|
|
let res = evm.exec(¶ms, &mut test_ext);
|
|
|
|
(res, test_ext.callcreates)
|
2016-01-13 01:23:01 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
// then validate
|
|
|
|
match res {
|
|
|
|
Err(_) => fail_unless(out_of_gas, "didn't expect to run out of gas."),
|
|
|
|
Ok(gas_left) => {
|
2016-01-13 16:16:21 +01:00
|
|
|
//println!("name: {}, gas_left : {:?}, expected: {:?}", name, gas_left, u256_from_json(&test["gas"]));
|
2016-01-13 01:23:01 +01:00
|
|
|
fail_unless(!out_of_gas, "expected to run out of gas.");
|
|
|
|
fail_unless(gas_left == u256_from_json(&test["gas"]), "gas_left is incorrect");
|
2016-01-13 15:26:52 +01:00
|
|
|
fail_unless(output == bytes_from_json(&test["out"]), "output is incorrect");
|
2016-01-13 16:16:21 +01:00
|
|
|
|
|
|
|
|
|
|
|
test.find("post").map(|pre| for (addr, s) in pre.as_object().unwrap() {
|
2016-01-13 22:06:05 +01:00
|
|
|
let address = Address::from(addr.as_ref());
|
2016-01-13 16:16:21 +01:00
|
|
|
//let balance = u256_from_json(&s["balance"]);
|
|
|
|
|
2016-01-13 16:30:19 +01:00
|
|
|
fail_unless(state.code(&address).unwrap_or(vec![]) == bytes_from_json(&s["code"]), "code is incorrect");
|
2016-01-13 16:16:21 +01:00
|
|
|
fail_unless(state.balance(&address) == u256_from_json(&s["balance"]), "balance is incorrect");
|
2016-01-13 16:30:19 +01:00
|
|
|
fail_unless(state.nonce(&address) == u256_from_json(&s["nonce"]), "nonce is incorrect");
|
|
|
|
|
|
|
|
for (k, v) in s["storage"].as_object().unwrap() {
|
|
|
|
let key = H256::from(&u256_from_str(k));
|
|
|
|
let val = H256::from(&u256_from_json(v));
|
|
|
|
|
|
|
|
fail_unless(state.storage_at(&address, &key) == val, "storage is incorrect");
|
|
|
|
}
|
2016-01-13 16:16:21 +01:00
|
|
|
});
|
|
|
|
|
2016-01-13 17:26:04 +01:00
|
|
|
let cc = test["callcreates"].as_array().unwrap();
|
|
|
|
fail_unless(callcreates.len() == cc.len(), "callcreates does not match");
|
|
|
|
for i in 0..cc.len() {
|
|
|
|
let is = &callcreates[i];
|
|
|
|
let expected = &cc[i];
|
|
|
|
fail_unless(is.data == bytes_from_json(&expected["data"]), "callcreates data is incorrect");
|
|
|
|
fail_unless(is.destination == address_from_json(&expected["destination"]), "callcreates destination is incorrect");
|
|
|
|
fail_unless(is.value == u256_from_json(&expected["value"]), "callcreates value is incorrect");
|
|
|
|
|
|
|
|
// TODO: call_gas is calculated in externalities and is not exposed to TestExt.
|
|
|
|
// maybe move it to it's own function to simplify calculation?
|
|
|
|
//println!("name: {:?}, is {:?}, expected: {:?}", name, is.gas_limit, u256_from_json(&expected["gasLimit"]));
|
|
|
|
//fail_unless(is.gas_limit == u256_from_json(&expected["gasLimit"]), "callcreates gas_limit is incorrect");
|
|
|
|
}
|
2016-01-13 01:23:01 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
for f in failed.iter() {
|
|
|
|
println!("FAILED: {:?}", f);
|
|
|
|
}
|
|
|
|
|
|
|
|
//assert!(false);
|
|
|
|
failed
|
|
|
|
}
|
|
|
|
|
|
|
|
declare_test!{ExecutiveTests_vmArithmeticTest, "VMTests/vmArithmeticTest"}
|
|
|
|
declare_test!{ExecutiveTests_vmBitwiseLogicOperationTest, "VMTests/vmBitwiseLogicOperationTest"}
|
2016-01-13 13:16:53 +01:00
|
|
|
// this one crashes with some vm internal error. Separately they pass.
|
2016-01-13 16:16:21 +01:00
|
|
|
declare_test_ignore!{ExecutiveTests_vmBlockInfoTest, "VMTests/vmBlockInfoTest"}
|
2016-01-13 01:23:01 +01:00
|
|
|
declare_test!{ExecutiveTests_vmEnvironmentalInfoTest, "VMTests/vmEnvironmentalInfoTest"}
|
2016-01-13 13:16:53 +01:00
|
|
|
declare_test!{ExecutiveTests_vmIOandFlowOperationsTest, "VMTests/vmIOandFlowOperationsTest"}
|
|
|
|
// this one take way too long.
|
2016-01-13 16:16:21 +01:00
|
|
|
declare_test_ignore!{ExecutiveTests_vmInputLimits, "VMTests/vmInputLimits"}
|
2016-01-13 13:16:53 +01:00
|
|
|
declare_test!{ExecutiveTests_vmLogTest, "VMTests/vmLogTest"}
|
|
|
|
declare_test!{ExecutiveTests_vmPerformanceTest, "VMTests/vmPerformanceTest"}
|
|
|
|
declare_test!{ExecutiveTests_vmPushDupSwapTest, "VMTests/vmPushDupSwapTest"}
|
|
|
|
declare_test!{ExecutiveTests_vmSha3Test, "VMTests/vmSha3Test"}
|
|
|
|
declare_test!{ExecutiveTests_vmSystemOperationsTest, "VMTests/vmSystemOperationsTest"}
|
|
|
|
declare_test!{ExecutiveTests_vmtests, "VMTests/vmtests"}
|