aboutsummaryrefslogtreecommitdiffstats
path: root/tests/vm.go
diff options
context:
space:
mode:
authorTaylor Gerring <taylor.gerring@gmail.com>2015-06-10 23:55:36 +0800
committerTaylor Gerring <taylor.gerring@gmail.com>2015-06-19 04:13:41 +0800
commit7b9fbb088a74de746dc3f0aa76dbbc8985c2b12c (patch)
tree905fbe3aaf22f09ff101ed2fdd951db288d7208e /tests/vm.go
parent6415ed0730f1e752036e0c79f913e133c318c231 (diff)
downloaddexon-7b9fbb088a74de746dc3f0aa76dbbc8985c2b12c.tar.gz
dexon-7b9fbb088a74de746dc3f0aa76dbbc8985c2b12c.tar.zst
dexon-7b9fbb088a74de746dc3f0aa76dbbc8985c2b12c.zip
Flatten vm directory
Diffstat (limited to 'tests/vm.go')
-rw-r--r--tests/vm.go388
1 files changed, 388 insertions, 0 deletions
diff --git a/tests/vm.go b/tests/vm.go
new file mode 100644
index 000000000..be9e89d9c
--- /dev/null
+++ b/tests/vm.go
@@ -0,0 +1,388 @@
+package vm
+
+import (
+ "bytes"
+ "math/big"
+ "os"
+ "path/filepath"
+ "strconv"
+ "testing"
+
+ "github.com/ethereum/go-ethereum/common"
+ "github.com/ethereum/go-ethereum/core/state"
+ "github.com/ethereum/go-ethereum/core/types"
+ "github.com/ethereum/go-ethereum/ethdb"
+ "github.com/ethereum/go-ethereum/logger"
+ "github.com/ethereum/go-ethereum/tests/helper"
+)
+
+type Account struct {
+ Balance string
+ Code string
+ Nonce string
+ Storage map[string]string
+}
+
+type Log struct {
+ AddressF string `json:"address"`
+ DataF string `json:"data"`
+ TopicsF []string `json:"topics"`
+ BloomF string `json:"bloom"`
+}
+
+func (self Log) Address() []byte { return common.Hex2Bytes(self.AddressF) }
+func (self Log) Data() []byte { return common.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] = common.Hex2Bytes(topic)
+ }
+ return t
+}
+
+func StateObjectFromAccount(db common.Database, addr string, account Account) *state.StateObject {
+ obj := state.NewStateObject(common.HexToAddress(addr), db)
+ obj.SetBalance(common.Big(account.Balance))
+
+ if common.IsHex(account.Code) {
+ account.Code = account.Code[2:]
+ }
+ obj.SetCode(common.Hex2Bytes(account.Code))
+ obj.SetNonce(common.Big(account.Nonce).Uint64())
+
+ return obj
+}
+
+type Env struct {
+ CurrentCoinbase string
+ CurrentDifficulty string
+ CurrentGasLimit string
+ CurrentNumber string
+ CurrentTimestamp interface{}
+ PreviousHash string
+}
+
+type VmTest struct {
+ Callcreates interface{}
+ //Env map[string]string
+ 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
+}
+
+func RunVmTest(p string, t *testing.T) {
+
+ tests := make(map[string]VmTest)
+ helper.CreateFileTests(t, p, &tests)
+
+ for name, test := range tests {
+ /*
+ vm.Debug = true
+ glog.SetV(4)
+ glog.SetToStderr(true)
+ if name != "Call50000_sha256" {
+ continue
+ }
+ */
+ db, _ := ethdb.NewMemDatabase()
+ statedb := state.New(common.Hash{}, db)
+ for addr, account := range test.Pre {
+ obj := StateObjectFromAccount(db, addr, account)
+ statedb.SetStateObject(obj)
+ for a, v := range account.Storage {
+ obj.SetState(common.HexToHash(a), common.HexToHash(v))
+ }
+ }
+
+ // 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 (
+ ret []byte
+ gas *big.Int
+ err error
+ logs state.Logs
+ )
+
+ isVmTest := len(test.Exec) > 0
+ if isVmTest {
+ ret, logs, gas, err = helper.RunVm(statedb, env, test.Exec)
+ } else {
+ ret, logs, gas, err = helper.RunState(statedb, env, test.Transaction)
+ }
+
+ switch name {
+ // the memory required for these tests (4294967297 bytes) would take too much time.
+ // on 19 May 2015 decided to skip these tests their output.
+ case "mload32bitBound_return", "mload32bitBound_return2":
+ default:
+ 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)
+ }
+ }
+
+ if isVmTest {
+ if len(test.Gas) == 0 && err == nil {
+ t.Errorf("%s's gas unspecified, indicating an error. VM returned (incorrectly) successfull", name)
+ } else {
+ gexp := common.Big(test.Gas)
+ if gexp.Cmp(gas) != 0 {
+ t.Errorf("%s's gas failed. Expected %v, got %v\n", name, gexp, gas)
+ }
+ }
+ }
+
+ for addr, account := range test.Post {
+ obj := statedb.GetStateObject(common.HexToAddress(addr))
+ if obj == nil {
+ continue
+ }
+
+ if len(test.Exec) == 0 {
+ if obj.Balance().Cmp(common.Big(account.Balance)) != 0 {
+ t.Errorf("%s's : (%x) balance failed. Expected %v, got %v => %v\n", name, obj.Address().Bytes()[:4], account.Balance, obj.Balance(), new(big.Int).Sub(common.Big(account.Balance), obj.Balance()))
+ }
+
+ if obj.Nonce() != common.String2Big(account.Nonce).Uint64() {
+ t.Errorf("%s's : (%x) nonce failed. Expected %v, got %v\n", name, obj.Address().Bytes()[:4], account.Nonce, obj.Nonce())
+ }
+
+ }
+
+ for addr, value := range account.Storage {
+ v := obj.GetState(common.HexToHash(addr))
+ vexp := common.HexToHash(value)
+
+ if v != vexp {
+ t.Errorf("%s's : (%x: %s) storage failed. Expected %x, got %x (%v %v)\n", name, obj.Address().Bytes()[0:4], addr, vexp, v, vexp.Big(), v.Big())
+ }
+ }
+ }
+
+ if !isVmTest {
+ statedb.Sync()
+ //if !bytes.Equal(common.Hex2Bytes(test.PostStateRoot), statedb.Root()) {
+ if common.HexToHash(test.PostStateRoot) != statedb.Root() {
+ t.Errorf("%s's : Post state root error. Expected %s, got %x", name, test.PostStateRoot, statedb.Root())
+ }
+ }
+
+ if len(test.Logs) > 0 {
+ if len(test.Logs) != len(logs) {
+ t.Errorf("log length mismatch. Expected %d, got %d", len(test.Logs), len(logs))
+ } else {
+ for i, log := range test.Logs {
+ if common.HexToAddress(log.AddressF) != logs[i].Address {
+ t.Errorf("'%s' log address expected %v got %x", name, log.AddressF, logs[i].Address)
+ }
+
+ if !bytes.Equal(logs[i].Data, helper.FromHex(log.DataF)) {
+ t.Errorf("'%s' log data expected %v got %x", name, log.DataF, logs[i].Data)
+ }
+
+ if len(log.TopicsF) != len(logs[i].Topics) {
+ t.Errorf("'%s' log topics length expected %d got %d", name, len(log.TopicsF), logs[i].Topics)
+ } else {
+ for j, topic := range log.TopicsF {
+ if common.HexToHash(topic) != logs[i].Topics[j] {
+ t.Errorf("'%s' log topic[%d] expected %v got %x", name, j, topic, logs[i].Topics[j])
+ }
+ }
+ }
+ genBloom := common.LeftPadBytes(types.LogsBloom(state.Logs{logs[i]}).Bytes(), 256)
+
+ if !bytes.Equal(genBloom, common.Hex2Bytes(log.BloomF)) {
+ t.Errorf("'%s' bloom mismatch", name)
+ }
+ }
+ }
+ }
+ //fmt.Println(string(statedb.Dump()))
+ }
+ logger.Flush()
+}
+
+// I've created a new function for each tests so it's easier to identify where the problem lies if any of them fail.
+func TestVMArithmetic(t *testing.T) {
+ const fn = "../files/VMTests/vmArithmeticTest.json"
+ RunVmTest(fn, t)
+}
+
+func TestBitwiseLogicOperation(t *testing.T) {
+ const fn = "../files/VMTests/vmBitwiseLogicOperationTest.json"
+ RunVmTest(fn, t)
+}
+
+func TestBlockInfo(t *testing.T) {
+ const fn = "../files/VMTests/vmBlockInfoTest.json"
+ RunVmTest(fn, t)
+}
+
+func TestEnvironmentalInfo(t *testing.T) {
+ const fn = "../files/VMTests/vmEnvironmentalInfoTest.json"
+ RunVmTest(fn, t)
+}
+
+func TestFlowOperation(t *testing.T) {
+ const fn = "../files/VMTests/vmIOandFlowOperationsTest.json"
+ RunVmTest(fn, t)
+}
+
+func TestLogTest(t *testing.T) {
+ const fn = "../files/VMTests/vmLogTest.json"
+ RunVmTest(fn, t)
+}
+
+func TestPerformance(t *testing.T) {
+ const fn = "../files/VMTests/vmPerformanceTest.json"
+ RunVmTest(fn, t)
+}
+
+func TestPushDupSwap(t *testing.T) {
+ const fn = "../files/VMTests/vmPushDupSwapTest.json"
+ RunVmTest(fn, t)
+}
+
+func TestVMSha3(t *testing.T) {
+ const fn = "../files/VMTests/vmSha3Test.json"
+ RunVmTest(fn, t)
+}
+
+func TestVm(t *testing.T) {
+ const fn = "../files/VMTests/vmtests.json"
+ RunVmTest(fn, t)
+}
+
+func TestVmLog(t *testing.T) {
+ const fn = "../files/VMTests/vmLogTest.json"
+ RunVmTest(fn, t)
+}
+
+func TestInputLimits(t *testing.T) {
+ const fn = "../files/VMTests/vmInputLimits.json"
+ RunVmTest(fn, t)
+}
+
+func TestInputLimitsLight(t *testing.T) {
+ const fn = "../files/VMTests/vmInputLimitsLight.json"
+ RunVmTest(fn, t)
+}
+
+func TestStateSystemOperations(t *testing.T) {
+ const fn = "../files/StateTests/stSystemOperationsTest.json"
+ RunVmTest(fn, t)
+}
+
+func TestStateExample(t *testing.T) {
+ const fn = "../files/StateTests/stExample.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)
+}
+
+func TestStateSpecial(t *testing.T) {
+ const fn = "../files/StateTests/stSpecialTest.json"
+ RunVmTest(fn, t)
+}
+
+func TestStateRefund(t *testing.T) {
+ const fn = "../files/StateTests/stRefundTest.json"
+ RunVmTest(fn, t)
+}
+
+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) {
+ const fn = "../files/StateTests/stTransactionTest.json"
+ RunVmTest(fn, t)
+}
+
+func TestCallCreateCallCode(t *testing.T) {
+ const fn = "../files/StateTests/stCallCreateCallCodeTest.json"
+ RunVmTest(fn, t)
+}
+
+func TestMemory(t *testing.T) {
+ const fn = "../files/StateTests/stMemoryTest.json"
+ RunVmTest(fn, t)
+}
+
+func TestMemoryStress(t *testing.T) {
+ if os.Getenv("TEST_VM_COMPLEX") == "" {
+ t.Skip()
+ }
+ const fn = "../files/StateTests/stMemoryStressTest.json"
+ RunVmTest(fn, t)
+}
+
+func TestQuadraticComplexity(t *testing.T) {
+ if os.Getenv("TEST_VM_COMPLEX") == "" {
+ t.Skip()
+ }
+ const fn = "../files/StateTests/stQuadraticComplexityTest.json"
+ RunVmTest(fn, t)
+}
+
+func TestSolidity(t *testing.T) {
+ const fn = "../files/StateTests/stSolidityTest.json"
+ RunVmTest(fn, t)
+}
+
+func TestWallet(t *testing.T) {
+ const fn = "../files/StateTests/stWalletTest.json"
+ RunVmTest(fn, t)
+}
+
+func TestStateTestsRandom(t *testing.T) {
+ fns, _ := filepath.Glob("../files/StateTests/RandomTests/*")
+ for _, fn := range fns {
+ RunVmTest(fn, t)
+ }
+}
+
+func TestVMRandom(t *testing.T) {
+ t.Skip() // fucked as of 2015-06-09. unskip once unfucked /Gustav
+ fns, _ := filepath.Glob("../files/VMTests/RandomTests/*")
+ for _, fn := range fns {
+ RunVmTest(fn, t)
+ }
+}