2014-10-18 14:33:02 +03:00
|
|
|
package vm
|
2014-10-15 01:41:00 +03:00
|
|
|
|
|
|
|
import (
|
|
|
|
"bytes"
|
2014-12-02 01:03:53 +02:00
|
|
|
"math/big"
|
|
|
|
"strconv"
|
2014-10-15 01:41:00 +03:00
|
|
|
"testing"
|
|
|
|
|
2014-12-04 11:53:49 +02:00
|
|
|
"github.com/ethereum/go-ethereum/core/types"
|
2015-01-07 14:17:48 +02:00
|
|
|
"github.com/ethereum/go-ethereum/ethdb"
|
2014-10-23 16:01:27 +03:00
|
|
|
"github.com/ethereum/go-ethereum/ethutil"
|
2014-12-18 22:58:26 +02:00
|
|
|
"github.com/ethereum/go-ethereum/logger"
|
2014-10-31 19:40:32 +02:00
|
|
|
"github.com/ethereum/go-ethereum/state"
|
2014-10-23 16:01:27 +03:00
|
|
|
"github.com/ethereum/go-ethereum/tests/helper"
|
2014-10-15 01:41:00 +03:00
|
|
|
)
|
|
|
|
|
|
|
|
type Account struct {
|
|
|
|
Balance string
|
|
|
|
Code string
|
|
|
|
Nonce string
|
|
|
|
Storage map[string]string
|
|
|
|
}
|
|
|
|
|
2014-12-03 13:21:12 +02:00
|
|
|
type Log struct {
|
2014-12-10 12:27:10 +02:00
|
|
|
AddressF string `json:"address"`
|
|
|
|
DataF string `json:"data"`
|
|
|
|
TopicsF []string `json:"topics"`
|
|
|
|
BloomF string `json:"bloom"`
|
|
|
|
}
|
|
|
|
|
|
|
|
func (self Log) Address() []byte { return ethutil.Hex2Bytes(self.AddressF) }
|
|
|
|
func (self Log) Data() []byte { return ethutil.Hex2Bytes(self.DataF) }
|
|
|
|
func (self Log) RlpData() interface{} { return nil }
|
|
|
|
func (self Log) Topics() [][]byte {
|
|
|
|
t := make([][]byte, len(self.TopicsF))
|
|
|
|
for i, topic := range self.TopicsF {
|
|
|
|
t[i] = ethutil.Hex2Bytes(topic)
|
|
|
|
}
|
|
|
|
return t
|
2014-12-03 13:21:12 +02:00
|
|
|
}
|
|
|
|
|
2015-01-07 14:17:48 +02:00
|
|
|
func StateObjectFromAccount(db ethutil.Database, addr string, account Account) *state.StateObject {
|
|
|
|
obj := state.NewStateObject(ethutil.Hex2Bytes(addr), db)
|
2014-10-22 16:22:21 +03:00
|
|
|
obj.SetBalance(ethutil.Big(account.Balance))
|
2014-10-15 01:41:00 +03:00
|
|
|
|
|
|
|
if ethutil.IsHex(account.Code) {
|
|
|
|
account.Code = account.Code[2:]
|
|
|
|
}
|
|
|
|
obj.Code = ethutil.Hex2Bytes(account.Code)
|
|
|
|
obj.Nonce = ethutil.Big(account.Nonce).Uint64()
|
|
|
|
|
|
|
|
return obj
|
|
|
|
}
|
|
|
|
|
2014-12-02 01:03:53 +02:00
|
|
|
type Env struct {
|
|
|
|
CurrentCoinbase string
|
|
|
|
CurrentDifficulty string
|
|
|
|
CurrentGasLimit string
|
|
|
|
CurrentNumber string
|
|
|
|
CurrentTimestamp interface{}
|
|
|
|
PreviousHash string
|
|
|
|
}
|
|
|
|
|
2014-10-15 01:41:00 +03:00
|
|
|
type VmTest struct {
|
|
|
|
Callcreates interface{}
|
2014-12-02 01:03:53 +02:00
|
|
|
//Env map[string]string
|
|
|
|
Env Env
|
2014-10-15 01:41:00 +03:00
|
|
|
Exec map[string]string
|
2014-12-02 01:03:53 +02:00
|
|
|
Transaction map[string]string
|
2014-12-10 12:27:10 +02:00
|
|
|
Logs []Log
|
2014-10-15 01:41:00 +03:00
|
|
|
Gas string
|
|
|
|
Out string
|
|
|
|
Post map[string]Account
|
|
|
|
Pre map[string]Account
|
|
|
|
}
|
|
|
|
|
2014-10-19 00:28:16 +03:00
|
|
|
func RunVmTest(p string, t *testing.T) {
|
2014-10-15 01:41:00 +03:00
|
|
|
tests := make(map[string]VmTest)
|
2014-10-19 00:28:16 +03:00
|
|
|
helper.CreateFileTests(t, p, &tests)
|
2014-10-15 01:41:00 +03:00
|
|
|
|
|
|
|
for name, test := range tests {
|
2015-01-02 18:35:55 +02:00
|
|
|
/*
|
|
|
|
helper.Logger.SetLogLevel(5)
|
|
|
|
if name != "jump0_jumpdest2" {
|
|
|
|
continue
|
|
|
|
}
|
|
|
|
*/
|
2015-01-07 14:17:48 +02:00
|
|
|
db, _ := ethdb.NewMemDatabase()
|
|
|
|
statedb := state.New(nil, db)
|
2014-10-15 01:41:00 +03:00
|
|
|
for addr, account := range test.Pre {
|
2015-01-07 14:17:48 +02:00
|
|
|
obj := StateObjectFromAccount(db, addr, account)
|
2014-12-03 13:21:12 +02:00
|
|
|
statedb.SetStateObject(obj)
|
2014-12-18 22:58:26 +02:00
|
|
|
for a, v := range account.Storage {
|
|
|
|
obj.SetState(helper.FromHex(a), ethutil.NewValue(helper.FromHex(v)))
|
|
|
|
}
|
2014-10-15 01:41:00 +03:00
|
|
|
}
|
|
|
|
|
2014-12-02 01:03:53 +02:00
|
|
|
// XXX Yeah, yeah...
|
|
|
|
env := make(map[string]string)
|
|
|
|
env["currentCoinbase"] = test.Env.CurrentCoinbase
|
|
|
|
env["currentDifficulty"] = test.Env.CurrentDifficulty
|
|
|
|
env["currentGasLimit"] = test.Env.CurrentGasLimit
|
|
|
|
env["currentNumber"] = test.Env.CurrentNumber
|
|
|
|
env["previousHash"] = test.Env.PreviousHash
|
|
|
|
if n, ok := test.Env.CurrentTimestamp.(float64); ok {
|
|
|
|
env["currentTimestamp"] = strconv.Itoa(int(n))
|
|
|
|
} else {
|
|
|
|
env["currentTimestamp"] = test.Env.CurrentTimestamp.(string)
|
|
|
|
}
|
|
|
|
|
|
|
|
var (
|
2014-12-03 13:21:12 +02:00
|
|
|
ret []byte
|
|
|
|
gas *big.Int
|
|
|
|
err error
|
|
|
|
logs state.Logs
|
2014-12-02 01:03:53 +02:00
|
|
|
)
|
|
|
|
|
2014-12-30 18:16:28 +02:00
|
|
|
isVmTest := len(test.Exec) > 0
|
|
|
|
if isVmTest {
|
2014-12-03 13:21:12 +02:00
|
|
|
ret, logs, gas, err = helper.RunVm(statedb, env, test.Exec)
|
2014-12-02 01:03:53 +02:00
|
|
|
} else {
|
2014-12-03 13:21:12 +02:00
|
|
|
ret, logs, gas, err = helper.RunState(statedb, env, test.Transaction)
|
2014-12-02 01:03:53 +02:00
|
|
|
}
|
|
|
|
|
2014-12-31 12:21:39 +02:00
|
|
|
// Log the error if there is one. Error does not mean failing test.
|
|
|
|
// A test fails if err != nil and post params are specified in the test.
|
2014-10-15 18:12:26 +03:00
|
|
|
if err != nil {
|
2014-12-31 12:21:39 +02:00
|
|
|
helper.Log.Infof("%s's: %v\n", name, err)
|
2014-10-15 18:12:26 +03:00
|
|
|
}
|
2014-10-15 01:41:00 +03:00
|
|
|
|
|
|
|
rexp := helper.FromHex(test.Out)
|
|
|
|
if bytes.Compare(rexp, ret) != 0 {
|
|
|
|
t.Errorf("%s's return failed. Expected %x, got %x\n", name, rexp, ret)
|
|
|
|
}
|
|
|
|
|
2014-12-30 18:16:28 +02:00
|
|
|
if isVmTest {
|
|
|
|
if len(test.Gas) == 0 && err == nil {
|
2015-01-02 18:35:55 +02:00
|
|
|
t.Errorf("%s's gas unspecified, indicating an error. VM returned (incorrectly) successfull", name)
|
2014-12-30 18:16:28 +02:00
|
|
|
} else {
|
|
|
|
gexp := ethutil.Big(test.Gas)
|
|
|
|
if gexp.Cmp(gas) != 0 {
|
|
|
|
t.Errorf("%s's gas failed. Expected %v, got %v\n", name, gexp, gas)
|
|
|
|
}
|
2014-12-02 01:03:53 +02:00
|
|
|
}
|
2014-10-15 01:41:00 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
for addr, account := range test.Post {
|
2014-12-03 13:21:12 +02:00
|
|
|
obj := statedb.GetStateObject(helper.FromHex(addr))
|
2014-12-18 22:58:26 +02:00
|
|
|
if obj == nil {
|
|
|
|
continue
|
|
|
|
}
|
|
|
|
|
|
|
|
if len(test.Exec) == 0 {
|
|
|
|
if obj.Balance().Cmp(ethutil.Big(account.Balance)) != 0 {
|
|
|
|
t.Errorf("%s's : (%x) balance failed. Expected %v, got %v => %v\n", name, obj.Address()[:4], account.Balance, obj.Balance(), new(big.Int).Sub(ethutil.Big(account.Balance), obj.Balance()))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-10-15 01:41:00 +03:00
|
|
|
for addr, value := range account.Storage {
|
2014-10-16 14:40:46 +03:00
|
|
|
v := obj.GetState(helper.FromHex(addr)).Bytes()
|
2014-10-15 01:41:00 +03:00
|
|
|
vexp := helper.FromHex(value)
|
|
|
|
|
|
|
|
if bytes.Compare(v, vexp) != 0 {
|
2014-10-16 19:27:05 +03:00
|
|
|
t.Errorf("%s's : (%x: %s) storage failed. Expected %x, got %x (%v %v)\n", name, obj.Address()[0:4], addr, vexp, v, ethutil.BigD(vexp), ethutil.BigD(v))
|
2014-10-15 01:41:00 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2014-12-03 13:21:12 +02:00
|
|
|
|
|
|
|
if len(test.Logs) > 0 {
|
2014-12-10 12:27:10 +02:00
|
|
|
for i, log := range test.Logs {
|
|
|
|
genBloom := ethutil.LeftPadBytes(types.LogsBloom(state.Logs{logs[i]}).Bytes(), 64)
|
|
|
|
if !bytes.Equal(genBloom, ethutil.Hex2Bytes(log.BloomF)) {
|
2014-12-03 13:21:12 +02:00
|
|
|
t.Errorf("bloom mismatch")
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2014-10-15 01:41:00 +03:00
|
|
|
}
|
2014-12-18 22:58:26 +02:00
|
|
|
logger.Flush()
|
2014-10-15 01:41:00 +03:00
|
|
|
}
|
2014-10-15 18:12:26 +03:00
|
|
|
|
|
|
|
// I've created a new function for each tests so it's easier to identify where the problem lies if any of them fail.
|
2014-10-16 19:27:05 +03:00
|
|
|
func TestVMArithmetic(t *testing.T) {
|
2014-10-19 00:31:10 +03:00
|
|
|
const fn = "../files/vmtests/vmArithmeticTest.json"
|
2014-10-19 00:28:16 +03:00
|
|
|
RunVmTest(fn, t)
|
2014-10-15 18:12:26 +03:00
|
|
|
}
|
|
|
|
|
2014-10-16 19:27:05 +03:00
|
|
|
func TestBitwiseLogicOperation(t *testing.T) {
|
2014-10-19 00:31:10 +03:00
|
|
|
const fn = "../files/vmtests/vmBitwiseLogicOperationTest.json"
|
2014-10-19 00:28:16 +03:00
|
|
|
RunVmTest(fn, t)
|
2014-10-16 19:27:05 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
func TestBlockInfo(t *testing.T) {
|
2014-10-19 00:31:10 +03:00
|
|
|
const fn = "../files/vmtests/vmBlockInfoTest.json"
|
2014-10-19 00:28:16 +03:00
|
|
|
RunVmTest(fn, t)
|
2014-10-16 19:27:05 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
func TestEnvironmentalInfo(t *testing.T) {
|
2014-10-19 00:31:10 +03:00
|
|
|
const fn = "../files/vmtests/vmEnvironmentalInfoTest.json"
|
2014-10-19 00:28:16 +03:00
|
|
|
RunVmTest(fn, t)
|
2014-10-16 19:27:05 +03:00
|
|
|
}
|
2014-10-16 14:40:46 +03:00
|
|
|
|
2014-10-16 19:27:05 +03:00
|
|
|
func TestFlowOperation(t *testing.T) {
|
2014-10-19 00:31:10 +03:00
|
|
|
const fn = "../files/vmtests/vmIOandFlowOperationsTest.json"
|
2014-10-19 00:28:16 +03:00
|
|
|
RunVmTest(fn, t)
|
2014-10-15 18:12:26 +03:00
|
|
|
}
|
2014-10-16 14:40:46 +03:00
|
|
|
|
2014-10-16 19:27:05 +03:00
|
|
|
func TestPushDupSwap(t *testing.T) {
|
2014-10-19 00:31:10 +03:00
|
|
|
const fn = "../files/vmtests/vmPushDupSwapTest.json"
|
2014-10-19 00:28:16 +03:00
|
|
|
RunVmTest(fn, t)
|
2014-10-16 19:27:05 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
func TestVMSha3(t *testing.T) {
|
2014-10-19 00:31:10 +03:00
|
|
|
const fn = "../files/vmtests/vmSha3Test.json"
|
2014-10-19 00:28:16 +03:00
|
|
|
RunVmTest(fn, t)
|
2014-10-16 14:40:46 +03:00
|
|
|
}
|
|
|
|
|
2014-10-16 19:27:05 +03:00
|
|
|
func TestVm(t *testing.T) {
|
2014-10-19 00:31:10 +03:00
|
|
|
const fn = "../files/vmtests/vmtests.json"
|
2014-10-19 00:28:16 +03:00
|
|
|
RunVmTest(fn, t)
|
2014-10-16 14:40:46 +03:00
|
|
|
}
|
2014-12-02 01:03:53 +02:00
|
|
|
|
2014-12-03 13:21:12 +02:00
|
|
|
func TestVmLog(t *testing.T) {
|
|
|
|
const fn = "../files/vmtests/vmLogTest.json"
|
|
|
|
RunVmTest(fn, t)
|
|
|
|
}
|
|
|
|
|
2014-12-02 01:03:53 +02:00
|
|
|
func TestStateSystemOperations(t *testing.T) {
|
|
|
|
const fn = "../files/StateTests/stSystemOperationsTest.json"
|
|
|
|
RunVmTest(fn, t)
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestStatePreCompiledContracts(t *testing.T) {
|
|
|
|
const fn = "../files/StateTests/stPreCompiledContracts.json"
|
|
|
|
RunVmTest(fn, t)
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestStateRecursiveCreate(t *testing.T) {
|
|
|
|
const fn = "../files/StateTests/stRecursiveCreate.json"
|
|
|
|
RunVmTest(fn, t)
|
|
|
|
}
|
|
|
|
|
2014-12-18 22:58:26 +02:00
|
|
|
func TestStateSpecial(t *testing.T) {
|
2014-12-02 01:03:53 +02:00
|
|
|
const fn = "../files/StateTests/stSpecialTest.json"
|
|
|
|
RunVmTest(fn, t)
|
|
|
|
}
|
2014-12-18 22:58:26 +02:00
|
|
|
|
|
|
|
func TestStateRefund(t *testing.T) {
|
|
|
|
const fn = "../files/StateTests/stRefundTest.json"
|
|
|
|
RunVmTest(fn, t)
|
|
|
|
}
|