2014-10-18 11:33:02 +00:00
|
|
|
package vm
|
2014-10-14 22:41:00 +00:00
|
|
|
|
|
|
|
import (
|
|
|
|
"bytes"
|
2014-12-01 23:03:53 +00:00
|
|
|
"math/big"
|
|
|
|
"strconv"
|
2014-10-14 22:41:00 +00:00
|
|
|
"testing"
|
|
|
|
|
2015-01-07 12:17:48 +00:00
|
|
|
"github.com/ethereum/go-ethereum/ethdb"
|
2014-10-23 13:01:27 +00:00
|
|
|
"github.com/ethereum/go-ethereum/ethutil"
|
2014-12-18 20:58:26 +00:00
|
|
|
"github.com/ethereum/go-ethereum/logger"
|
2014-10-31 17:40:32 +00:00
|
|
|
"github.com/ethereum/go-ethereum/state"
|
2014-10-23 13:01:27 +00:00
|
|
|
"github.com/ethereum/go-ethereum/tests/helper"
|
2014-10-14 22:41:00 +00:00
|
|
|
)
|
|
|
|
|
|
|
|
type Account struct {
|
|
|
|
Balance string
|
|
|
|
Code string
|
|
|
|
Nonce string
|
|
|
|
Storage map[string]string
|
|
|
|
}
|
|
|
|
|
2014-12-03 11:21:12 +00:00
|
|
|
type Log struct {
|
2014-12-10 10:27:10 +00: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 11:21:12 +00:00
|
|
|
}
|
|
|
|
|
2015-01-07 12:17:48 +00:00
|
|
|
func StateObjectFromAccount(db ethutil.Database, addr string, account Account) *state.StateObject {
|
|
|
|
obj := state.NewStateObject(ethutil.Hex2Bytes(addr), db)
|
2014-10-22 13:22:21 +00:00
|
|
|
obj.SetBalance(ethutil.Big(account.Balance))
|
2014-10-14 22:41:00 +00:00
|
|
|
|
|
|
|
if ethutil.IsHex(account.Code) {
|
|
|
|
account.Code = account.Code[2:]
|
|
|
|
}
|
2015-02-20 13:19:34 +00:00
|
|
|
obj.SetCode(ethutil.Hex2Bytes(account.Code))
|
|
|
|
obj.SetNonce(ethutil.Big(account.Nonce).Uint64())
|
2014-10-14 22:41:00 +00:00
|
|
|
|
|
|
|
return obj
|
|
|
|
}
|
|
|
|
|
2014-12-01 23:03:53 +00:00
|
|
|
type Env struct {
|
|
|
|
CurrentCoinbase string
|
|
|
|
CurrentDifficulty string
|
|
|
|
CurrentGasLimit string
|
|
|
|
CurrentNumber string
|
|
|
|
CurrentTimestamp interface{}
|
|
|
|
PreviousHash string
|
|
|
|
}
|
|
|
|
|
2014-10-14 22:41:00 +00:00
|
|
|
type VmTest struct {
|
|
|
|
Callcreates interface{}
|
2014-12-01 23:03:53 +00:00
|
|
|
//Env map[string]string
|
2015-03-03 11:21:27 +00:00
|
|
|
Env Env
|
|
|
|
Exec map[string]string
|
|
|
|
Transaction map[string]string
|
|
|
|
Logs []Log
|
|
|
|
Gas string
|
|
|
|
Out string
|
|
|
|
Post map[string]Account
|
|
|
|
Pre map[string]Account
|
|
|
|
PostStateRoot string
|
2014-10-14 22:41:00 +00:00
|
|
|
}
|
|
|
|
|
2014-10-18 21:28:16 +00:00
|
|
|
func RunVmTest(p string, t *testing.T) {
|
2015-03-09 10:28:35 +00:00
|
|
|
|
2014-10-14 22:41:00 +00:00
|
|
|
tests := make(map[string]VmTest)
|
2014-10-18 21:28:16 +00:00
|
|
|
helper.CreateFileTests(t, p, &tests)
|
2014-10-14 22:41:00 +00:00
|
|
|
|
|
|
|
for name, test := range tests {
|
2015-01-07 12:17:48 +00:00
|
|
|
db, _ := ethdb.NewMemDatabase()
|
|
|
|
statedb := state.New(nil, db)
|
2014-10-14 22:41:00 +00:00
|
|
|
for addr, account := range test.Pre {
|
2015-01-07 12:17:48 +00:00
|
|
|
obj := StateObjectFromAccount(db, addr, account)
|
2014-12-03 11:21:12 +00:00
|
|
|
statedb.SetStateObject(obj)
|
2014-12-18 20:58:26 +00:00
|
|
|
for a, v := range account.Storage {
|
|
|
|
obj.SetState(helper.FromHex(a), ethutil.NewValue(helper.FromHex(v)))
|
|
|
|
}
|
2014-10-14 22:41:00 +00:00
|
|
|
}
|
|
|
|
|
2014-12-01 23:03:53 +00: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 11:21:12 +00:00
|
|
|
ret []byte
|
|
|
|
gas *big.Int
|
|
|
|
err error
|
|
|
|
logs state.Logs
|
2014-12-01 23:03:53 +00:00
|
|
|
)
|
|
|
|
|
2014-12-30 16:16:28 +00:00
|
|
|
isVmTest := len(test.Exec) > 0
|
|
|
|
if isVmTest {
|
2014-12-03 11:21:12 +00:00
|
|
|
ret, logs, gas, err = helper.RunVm(statedb, env, test.Exec)
|
2014-12-01 23:03:53 +00:00
|
|
|
} else {
|
2014-12-03 11:21:12 +00:00
|
|
|
ret, logs, gas, err = helper.RunState(statedb, env, test.Transaction)
|
2014-12-01 23:03:53 +00:00
|
|
|
}
|
2015-03-03 12:29:52 +00:00
|
|
|
statedb.Sync()
|
2014-12-01 23:03:53 +00:00
|
|
|
|
2014-10-14 22:41:00 +00: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 16:16:28 +00:00
|
|
|
if isVmTest {
|
|
|
|
if len(test.Gas) == 0 && err == nil {
|
2015-01-02 16:35:55 +00:00
|
|
|
t.Errorf("%s's gas unspecified, indicating an error. VM returned (incorrectly) successfull", name)
|
2014-12-30 16:16:28 +00: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-01 23:03:53 +00:00
|
|
|
}
|
2014-10-14 22:41:00 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
for addr, account := range test.Post {
|
2014-12-03 11:21:12 +00:00
|
|
|
obj := statedb.GetStateObject(helper.FromHex(addr))
|
2014-12-18 20:58:26 +00: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-14 22:41:00 +00:00
|
|
|
for addr, value := range account.Storage {
|
2014-10-16 11:40:46 +00:00
|
|
|
v := obj.GetState(helper.FromHex(addr)).Bytes()
|
2014-10-14 22:41:00 +00:00
|
|
|
vexp := helper.FromHex(value)
|
|
|
|
|
|
|
|
if bytes.Compare(v, vexp) != 0 {
|
2014-10-16 16:27:05 +00: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-14 22:41:00 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2014-12-03 11:21:12 +00:00
|
|
|
|
2015-03-03 11:21:27 +00:00
|
|
|
if !isVmTest {
|
|
|
|
if !bytes.Equal(ethutil.Hex2Bytes(test.PostStateRoot), statedb.Root()) {
|
2015-03-03 15:20:38 +00:00
|
|
|
t.Errorf("%s's : Post state root error. Expected %s, got %x", name, test.PostStateRoot, statedb.Root())
|
2015-03-03 11:21:27 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-12-03 11:21:12 +00:00
|
|
|
if len(test.Logs) > 0 {
|
2015-03-02 16:55:45 +00:00
|
|
|
if len(test.Logs) != len(logs) {
|
|
|
|
t.Errorf("log length mismatch. Expected %d, got %d", len(test.Logs), len(logs))
|
|
|
|
} else {
|
2015-03-03 11:30:57 +00:00
|
|
|
/*
|
|
|
|
fmt.Println("A", test.Logs)
|
|
|
|
fmt.Println("B", logs)
|
|
|
|
for i, log := range test.Logs {
|
|
|
|
genBloom := ethutil.LeftPadBytes(types.LogsBloom(state.Logs{logs[i]}).Bytes(), 256)
|
|
|
|
if !bytes.Equal(genBloom, ethutil.Hex2Bytes(log.BloomF)) {
|
|
|
|
t.Errorf("bloom mismatch")
|
|
|
|
}
|
|
|
|
}
|
|
|
|
*/
|
2014-12-03 11:21:12 +00:00
|
|
|
}
|
|
|
|
}
|
2015-03-03 16:05:51 +00:00
|
|
|
//statedb.Trie().PrintRoot()
|
2014-10-14 22:41:00 +00:00
|
|
|
}
|
2014-12-18 20:58:26 +00:00
|
|
|
logger.Flush()
|
2014-10-14 22:41:00 +00:00
|
|
|
}
|
2014-10-15 15:12:26 +00: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 16:27:05 +00:00
|
|
|
func TestVMArithmetic(t *testing.T) {
|
2015-01-22 17:00:15 +00:00
|
|
|
const fn = "../files/VMTests/vmArithmeticTest.json"
|
2014-10-18 21:28:16 +00:00
|
|
|
RunVmTest(fn, t)
|
2014-10-15 15:12:26 +00:00
|
|
|
}
|
|
|
|
|
2014-10-16 16:27:05 +00:00
|
|
|
func TestBitwiseLogicOperation(t *testing.T) {
|
2015-01-22 17:00:15 +00:00
|
|
|
const fn = "../files/VMTests/vmBitwiseLogicOperationTest.json"
|
2014-10-18 21:28:16 +00:00
|
|
|
RunVmTest(fn, t)
|
2014-10-16 16:27:05 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
func TestBlockInfo(t *testing.T) {
|
2015-01-22 17:00:15 +00:00
|
|
|
const fn = "../files/VMTests/vmBlockInfoTest.json"
|
2014-10-18 21:28:16 +00:00
|
|
|
RunVmTest(fn, t)
|
2014-10-16 16:27:05 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
func TestEnvironmentalInfo(t *testing.T) {
|
2015-01-22 17:00:15 +00:00
|
|
|
const fn = "../files/VMTests/vmEnvironmentalInfoTest.json"
|
2014-10-18 21:28:16 +00:00
|
|
|
RunVmTest(fn, t)
|
2014-10-16 16:27:05 +00:00
|
|
|
}
|
2014-10-16 11:40:46 +00:00
|
|
|
|
2014-10-16 16:27:05 +00:00
|
|
|
func TestFlowOperation(t *testing.T) {
|
2015-01-22 17:00:15 +00:00
|
|
|
const fn = "../files/VMTests/vmIOandFlowOperationsTest.json"
|
2014-10-18 21:28:16 +00:00
|
|
|
RunVmTest(fn, t)
|
2014-10-15 15:12:26 +00:00
|
|
|
}
|
2014-10-16 11:40:46 +00:00
|
|
|
|
2015-03-02 16:55:45 +00:00
|
|
|
func TestLogTest(t *testing.T) {
|
|
|
|
const fn = "../files/VMTests/vmLogTest.json"
|
|
|
|
RunVmTest(fn, t)
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestPerformance(t *testing.T) {
|
|
|
|
t.Skip()
|
|
|
|
const fn = "../files/VMTests/vmPerformance.json"
|
|
|
|
RunVmTest(fn, t)
|
|
|
|
}
|
|
|
|
|
2014-10-16 16:27:05 +00:00
|
|
|
func TestPushDupSwap(t *testing.T) {
|
2015-01-22 17:00:15 +00:00
|
|
|
const fn = "../files/VMTests/vmPushDupSwapTest.json"
|
2014-10-18 21:28:16 +00:00
|
|
|
RunVmTest(fn, t)
|
2014-10-16 16:27:05 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
func TestVMSha3(t *testing.T) {
|
2015-01-22 17:00:15 +00:00
|
|
|
const fn = "../files/VMTests/vmSha3Test.json"
|
2014-10-18 21:28:16 +00:00
|
|
|
RunVmTest(fn, t)
|
2014-10-16 11:40:46 +00:00
|
|
|
}
|
|
|
|
|
2014-10-16 16:27:05 +00:00
|
|
|
func TestVm(t *testing.T) {
|
2015-01-22 17:00:15 +00:00
|
|
|
const fn = "../files/VMTests/vmtests.json"
|
2014-10-18 21:28:16 +00:00
|
|
|
RunVmTest(fn, t)
|
2014-10-16 11:40:46 +00:00
|
|
|
}
|
2014-12-01 23:03:53 +00:00
|
|
|
|
2014-12-03 11:21:12 +00:00
|
|
|
func TestVmLog(t *testing.T) {
|
2015-01-22 17:00:15 +00:00
|
|
|
const fn = "../files/VMTests/vmLogTest.json"
|
2014-12-03 11:21:12 +00:00
|
|
|
RunVmTest(fn, t)
|
|
|
|
}
|
|
|
|
|
2015-03-03 12:29:52 +00:00
|
|
|
func TestStateExample(t *testing.T) {
|
|
|
|
const fn = "../files/StateTests/stExample.json"
|
|
|
|
RunVmTest(fn, t)
|
|
|
|
}
|
|
|
|
|
2014-12-01 23:03:53 +00: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 20:58:26 +00:00
|
|
|
func TestStateSpecial(t *testing.T) {
|
2014-12-01 23:03:53 +00:00
|
|
|
const fn = "../files/StateTests/stSpecialTest.json"
|
|
|
|
RunVmTest(fn, t)
|
|
|
|
}
|
2014-12-18 20:58:26 +00:00
|
|
|
|
|
|
|
func TestStateRefund(t *testing.T) {
|
|
|
|
const fn = "../files/StateTests/stRefundTest.json"
|
|
|
|
RunVmTest(fn, t)
|
|
|
|
}
|
2015-02-03 03:55:38 +00:00
|
|
|
|
|
|
|
func TestStateBlockHash(t *testing.T) {
|
|
|
|
const fn = "../files/StateTests/stBlockHashTest.json"
|
|
|
|
RunVmTest(fn, t)
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestStateInitCode(t *testing.T) {
|
|
|
|
const fn = "../files/StateTests/stInitCodeTest.json"
|
|
|
|
RunVmTest(fn, t)
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestStateLog(t *testing.T) {
|
|
|
|
const fn = "../files/StateTests/stLogTests.json"
|
|
|
|
RunVmTest(fn, t)
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestStateTransaction(t *testing.T) {
|
2015-02-13 22:26:41 +00:00
|
|
|
t.Skip()
|
2015-02-03 03:55:38 +00:00
|
|
|
const fn = "../files/StateTests/stTransactionTest.json"
|
|
|
|
RunVmTest(fn, t)
|
|
|
|
}
|