aboutsummaryrefslogblamecommitdiffstats
path: root/tests/vm/gh_test.go
blob: a23076b7454d43b8657df011b7e19f28a88b4205 (plain) (tree)
1
2
3
4
5
6
7
8
9
          


               

                  

                 
                                                    
                                               
                                                 
                                                
                                               
                                                      








                                 
                 














                                                                                 

 

                                                                                                   
                                                    



                                               

                                                         



                  








                                     

                               

                                       
                                     
                                     
                         





                                      
                                        
                                        
                                            

                                       





                                                                                 

                                               
                                                     
                                                                        
                                                   


                                                                                                    

                 













                                                                                    



                                       

                 
                                              
                             
                                                                                   
                        
                                                                                             

                 




                                                                                              

                                                             
                                                                                                                                  




                                                                                                           
                         


                                                      
                                                                           









                                                                                                                                                                                                                                   
                                                                  
                                                                               


                                                                
                                                                                                                                                                                               


                                 

                                       







                                                                                                                          


                                 
         
                      
 

                                                                                                                    
                                     
                                                           
                        

 
                                              
                                                                      
                        


                                  
                                                          
                        


                                          
                                                                  
                        
 
 
                                      
                                                                    
                        
 
 










                                                        
                                    
                                                            
                        


                               
                                                     
                        

 
                           
                                                  
                        
 
 
                              
                                                    


                        














                                                                    
                                     


                                                           




                                                          
















                                                             
                


                                                               
package vm

import (
    "bytes"
    "math/big"
    "strconv"
    "testing"

    "github.com/ethereum/go-ethereum/core/types"
    "github.com/ethereum/go-ethereum/ethdb"
    "github.com/ethereum/go-ethereum/ethutil"
    "github.com/ethereum/go-ethereum/logger"
    "github.com/ethereum/go-ethereum/state"
    "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 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
}

func StateObjectFromAccount(db ethutil.Database, addr string, account Account) *state.StateObject {
    obj := state.NewStateObject(ethutil.Hex2Bytes(addr), db)
    obj.SetBalance(ethutil.Big(account.Balance))

    if ethutil.IsHex(account.Code) {
        account.Code = account.Code[2:]
    }
    obj.SetCode(ethutil.Hex2Bytes(account.Code))
    obj.SetNonce(ethutil.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
}

func RunVmTest(p string, t *testing.T) {
    tests := make(map[string]VmTest)
    helper.CreateFileTests(t, p, &tests)

    for name, test := range tests {
        /*
            helper.Logger.SetLogLevel(4)
            if name != "log1_nonEmptyMem_logMemSize1_logMemStart31" {
                continue
            }
        */
        db, _ := ethdb.NewMemDatabase()
        statedb := state.New(nil, db)
        for addr, account := range test.Pre {
            obj := StateObjectFromAccount(db, addr, account)
            statedb.SetStateObject(obj)
            for a, v := range account.Storage {
                obj.SetState(helper.FromHex(a), ethutil.NewValue(helper.FromHex(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)
        }

        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 := ethutil.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(helper.FromHex(addr))
            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()))
                }
            }

            for addr, value := range account.Storage {
                v := obj.GetState(helper.FromHex(addr)).Bytes()
                vexp := helper.FromHex(value)

                if bytes.Compare(v, vexp) != 0 {
                    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))
                }
            }
        }

        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 {
                    genBloom := ethutil.LeftPadBytes(types.LogsBloom(state.Logs{logs[i]}).Bytes(), 64)
                    if !bytes.Equal(genBloom, ethutil.Hex2Bytes(log.BloomF)) {
                        t.Errorf("bloom mismatch")
                    }
                }
            }
        }
    }
    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) {
    t.Skip()
    const fn = "../files/VMTests/vmPerformance.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 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)
}

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) {
    t.Skip()
    const fn = "../files/StateTests/stTransactionTest.json"
    RunVmTest(fn, t)
}