vm_test_util.go 3.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133
  1. package tests
  2. import (
  3. "bytes"
  4. "fmt"
  5. "math/big"
  6. "strconv"
  7. "github.com/ethereum/go-ethereum/common"
  8. "github.com/ethereum/go-ethereum/core/state"
  9. "github.com/ethereum/go-ethereum/core/vm"
  10. "github.com/ethereum/go-ethereum/ethdb"
  11. )
  12. func RunVmTest(p string) error {
  13. skipTest := make(map[string]bool, len(vmSkipTests))
  14. for _, name := range vmSkipTests {
  15. skipTest[name] = true
  16. }
  17. tests := make(map[string]VmTest)
  18. err := CreateFileTests(p, &tests)
  19. if err != nil {
  20. return err
  21. }
  22. for name, test := range tests {
  23. if skipTest[name] {
  24. fmt.Println("Skipping state test", name)
  25. return nil
  26. }
  27. db, _ := ethdb.NewMemDatabase()
  28. statedb := state.New(common.Hash{}, db)
  29. for addr, account := range test.Pre {
  30. obj := StateObjectFromAccount(db, addr, account)
  31. statedb.SetStateObject(obj)
  32. for a, v := range account.Storage {
  33. obj.SetState(common.HexToHash(a), common.HexToHash(v))
  34. }
  35. }
  36. // XXX Yeah, yeah...
  37. env := make(map[string]string)
  38. env["currentCoinbase"] = test.Env.CurrentCoinbase
  39. env["currentDifficulty"] = test.Env.CurrentDifficulty
  40. env["currentGasLimit"] = test.Env.CurrentGasLimit
  41. env["currentNumber"] = test.Env.CurrentNumber
  42. env["previousHash"] = test.Env.PreviousHash
  43. if n, ok := test.Env.CurrentTimestamp.(float64); ok {
  44. env["currentTimestamp"] = strconv.Itoa(int(n))
  45. } else {
  46. env["currentTimestamp"] = test.Env.CurrentTimestamp.(string)
  47. }
  48. var (
  49. ret []byte
  50. gas *big.Int
  51. err error
  52. logs state.Logs
  53. )
  54. ret, logs, gas, err = RunVm(statedb, env, test.Exec)
  55. // Compare expectedand actual return
  56. rexp := common.FromHex(test.Out)
  57. if bytes.Compare(rexp, ret) != 0 {
  58. return fmt.Errorf("%s's return failed. Expected %x, got %x\n", name, rexp, ret)
  59. }
  60. // Check gas usage
  61. if len(test.Gas) == 0 && err == nil {
  62. return fmt.Errorf("%s's gas unspecified, indicating an error. VM returned (incorrectly) successfull", name)
  63. } else {
  64. gexp := common.Big(test.Gas)
  65. if gexp.Cmp(gas) != 0 {
  66. return fmt.Errorf("%s's gas failed. Expected %v, got %v\n", name, gexp, gas)
  67. }
  68. }
  69. // check post state
  70. for addr, account := range test.Post {
  71. obj := statedb.GetStateObject(common.HexToAddress(addr))
  72. if obj == nil {
  73. continue
  74. }
  75. for addr, value := range account.Storage {
  76. v := obj.GetState(common.HexToHash(addr))
  77. vexp := common.HexToHash(value)
  78. if v != vexp {
  79. return 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())
  80. }
  81. }
  82. }
  83. // check logs
  84. if len(test.Logs) > 0 {
  85. lerr := checkLogs(test.Logs, logs)
  86. if lerr != nil {
  87. return fmt.Errorf("'%s' ", name, lerr.Error())
  88. }
  89. }
  90. fmt.Println("VM test passed: ", name)
  91. //fmt.Println(string(statedb.Dump()))
  92. }
  93. return nil
  94. }
  95. func RunVm(state *state.StateDB, env, exec map[string]string) ([]byte, state.Logs, *big.Int, error) {
  96. var (
  97. to = common.HexToAddress(exec["address"])
  98. from = common.HexToAddress(exec["caller"])
  99. data = common.FromHex(exec["data"])
  100. gas = common.Big(exec["gas"])
  101. price = common.Big(exec["gasPrice"])
  102. value = common.Big(exec["value"])
  103. )
  104. // Reset the pre-compiled contracts for VM tests.
  105. vm.Precompiled = make(map[string]*vm.PrecompiledAccount)
  106. caller := state.GetOrNewStateObject(from)
  107. vmenv := NewEnvFromMap(state, env, exec)
  108. vmenv.vmTest = true
  109. vmenv.skipTransfer = true
  110. vmenv.initial = true
  111. ret, err := vmenv.Call(caller, to, data, gas, price, value)
  112. return ret, vmenv.state.Logs(), vmenv.Gas, err
  113. }