public void Call_Contract_Failure() { var parameters = new object[] { }; var contractTxData = new ContractTxData(1, 1, (Gas)1000, uint160.One, "TestMethod", parameters); StateTransitionResult stateTransitionResult = StateTransitionResult.Fail((Gas)100, StateTransitionErrorKind.VmError); var fixture = new ExecutorFixture(contractTxData); IState snapshot = fixture.State.Object.Snapshot(); fixture.StateProcessor .Setup(s => s.Apply(snapshot, It.IsAny <ExternalCallMessage>())) .Returns(stateTransitionResult); IStateRepository trackedMock = Mock.Of <IStateRepository>(); fixture.ContractStateRoot.Setup(s => s.StartTracking()).Returns(trackedMock); var sut = new LocalExecutor( fixture.LoggerFactory, fixture.CallDataSerializer.Object, fixture.ContractStateRoot.Object, fixture.StateFactory.Object, fixture.StateProcessor.Object, fixture.ContractPrimitiveSerializer.Object); ILocalExecutionResult result = sut.Execute(fixture.ContractTransactionContext.BlockHeight, fixture.ContractTransactionContext.Sender, fixture.ContractTransactionContext.TxOutValue, contractTxData); fixture.StateFactory.Verify(sf => sf .Create( trackedMock, It.IsAny <IBlock>(), fixture.ContractTransactionContext.TxOutValue, It.IsAny <uint256>()), Times.Once); // We only apply the message to the snapshot. fixture.StateProcessor.Verify(sm => sm.Apply(snapshot, It.Is <ExternalCallMessage>(m => m.Method.Name == contractTxData.MethodName && m.Method.Parameters == contractTxData.MethodParameters && m.Amount == fixture.ContractTransactionContext.TxOutValue && m.From == fixture.ContractTransactionContext.Sender && m.To == contractTxData.ContractAddress)), Times.Once); // Should never transition to the snapshot. fixture.State.Verify(sm => sm.TransitionTo(snapshot), Times.Never); // Should never save on the state fixture.ContractStateRoot.Verify(sr => sr.Commit(), Times.Never); Assert.Equal(stateTransitionResult.Error.VmError, result.ErrorMessage); Assert.True(result.Revert); Assert.Equal <IReadOnlyList <TransferInfo> >(fixture.State.Object.InternalTransfers, result.InternalTransfers); Assert.Equal(stateTransitionResult.GasConsumed, result.GasConsumed); Assert.Null(result.Return); Assert.Equal <IList <Log> >(fixture.State.Object.GetLogs(fixture.ContractPrimitiveSerializer.Object), result.Logs); }
public void Create_Contract_Failure() { var contractTxData = new ContractTxData(1, 1, (Gas)1000, new byte[] { 0xAA, 0xBB, 0xCC }); StateTransitionResult stateTransitionResult = StateTransitionResult.Fail((Gas)100, StateTransitionErrorKind.VmError); var fixture = new ExecutorFixture(contractTxData); IState snapshot = fixture.State.Object.Snapshot(); fixture.StateProcessor .Setup(s => s.Apply(snapshot, It.IsAny <ExternalCreateMessage>())) .Returns(stateTransitionResult); IStateRepository trackedMock = Mock.Of <IStateRepository>(); fixture.ContractStateRoot.Setup(s => s.StartTracking()).Returns(trackedMock); var sut = new LocalExecutor( fixture.LoggerFactory, fixture.CallDataSerializer.Object, fixture.ContractStateRoot.Object, fixture.StateFactory.Object, fixture.StateProcessor.Object, fixture.ContractPrimitiveSerializer.Object); ILocalExecutionResult result = sut.Execute(fixture.ContractTransactionContext); fixture.CallDataSerializer.Verify(s => s.Deserialize(fixture.Data), Times.Once); fixture.StateFactory.Verify(sf => sf .Create( trackedMock, It.IsAny <IBlock>(), fixture.ContractTransactionContext.TxOutValue, fixture.ContractTransactionContext.TransactionHash), Times.Once); // We only apply the message to the snapshot. fixture.StateProcessor.Verify(sm => sm.Apply(fixture.State.Object.Snapshot(), It.Is <ExternalCreateMessage>(m => m.Code == contractTxData.ContractExecutionCode && m.Parameters == contractTxData.MethodParameters)), Times.Once); // Should never transition to the snapshot. fixture.State.Verify(sm => sm.TransitionTo(fixture.State.Object.Snapshot()), Times.Never); // Should never save on the state fixture.ContractStateRoot.Verify(sr => sr.Commit(), Times.Never); Assert.Equal(stateTransitionResult.Error.VmError, result.ErrorMessage); Assert.True(result.Revert); Assert.Equal(fixture.State.Object.InternalTransfers, result.InternalTransfers); Assert.Equal(stateTransitionResult.GasConsumed, result.GasConsumed); Assert.Null(result.Return); Assert.Equal(fixture.State.Object.GetLogs(fixture.ContractPrimitiveSerializer.Object), result.Logs); }
public void Call_StateTransition_Error() { ulong amount = 100UL; var to = new Address("Sj2p6ZRHdLvywyi43HYoE4bu2TF1nvavjR"); var method = "Test"; var parameters = new object[] { }; var gasLimit = (Gas)100_000; var fixture = new InternalExecutorTestFixture(); fixture.SetGasMeterLimitAbove(gasLimit); StateTransitionResult stateTransitionResult = StateTransitionResult.Fail((Gas)1000, new ContractErrorMessage("Error")); fixture.StateProcessor .Setup(sp => sp.Apply(It.IsAny <IState>(), It.IsAny <InternalCallMessage>())) .Returns(stateTransitionResult); var internalExecutor = new InternalExecutor( fixture.LoggerFactory, fixture.Network, fixture.State.Object, fixture.StateProcessor.Object); ITransferResult result = internalExecutor.Call(fixture.SmartContractState, to, amount, method, parameters, gasLimit); fixture.State.Verify(s => s.Snapshot(), Times.Once); fixture.StateProcessor.Verify(sp => sp.Apply(fixture.Snapshot, It.Is <InternalCallMessage>(m => m.Amount == amount && m.Method.Name == method && m.Method.Parameters == parameters && m.GasLimit == gasLimit && m.From == fixture.FromAddress && m.To == to.ToUint160(fixture.Network) ))); fixture.State.Verify(s => s.TransitionTo(fixture.Snapshot), Times.Never); fixture.GasMeter.Verify(g => g.Spend(stateTransitionResult.GasConsumed), Times.Once); Assert.False(result.Success); Assert.Null(result.ReturnValue); }
public void Call_StateTransition_Error() { var fixture = new InternalExecutorTestFixture(); ulong amount = 100UL; var to = "0x95D34980095380851902ccd9A1Fb4C813C2cb639".HexToAddress(); var method = "Test"; var parameters = new object[] { }; var gasLimit = (Gas)100_000; fixture.SetGasMeterLimitAbove(gasLimit); StateTransitionResult stateTransitionResult = StateTransitionResult.Fail((Gas)1000, StateTransitionErrorKind.VmError); fixture.StateProcessor .Setup(sp => sp.Apply(It.IsAny <IState>(), It.IsAny <InternalCallMessage>())) .Returns(stateTransitionResult); var internalExecutor = new InternalExecutor( fixture.LoggerFactory, fixture.State.Object, fixture.StateProcessor.Object); ITransferResult result = internalExecutor.Call(fixture.SmartContractState, to, amount, method, parameters, gasLimit); fixture.State.Verify(s => s.Snapshot(), Times.Once); fixture.StateProcessor.Verify(sp => sp.Apply(fixture.Snapshot, It.Is <InternalCallMessage>(m => m.Amount == amount && m.Method.Name == method && m.Method.Parameters == parameters && m.GasLimit == gasLimit && m.From == fixture.FromAddress && m.To == to.ToUint160() ))); fixture.State.Verify(s => s.TransitionTo(fixture.Snapshot), Times.Never); fixture.GasMeter.Verify(g => g.Spend(stateTransitionResult.GasConsumed), Times.Once); Assert.False(result.Success); Assert.Null(result.ReturnValue); }
public void Create_StateTransition_Error() { ulong amount = 100UL; var parameters = new object[] { }; var gasLimit = (Gas)100_000; var fixture = new InternalExecutorTestFixture(); fixture.SetGasMeterLimitAbove(gasLimit); StateTransitionResult stateTransitionResult = StateTransitionResult.Fail((Gas)1000, new ContractErrorMessage("Error")); fixture.StateProcessor .Setup(sp => sp.Apply(It.IsAny <IState>(), It.IsAny <InternalCreateMessage>())) .Returns(stateTransitionResult); var internalExecutor = new InternalExecutor( fixture.LoggerFactory, fixture.Network, fixture.State.Object, fixture.StateProcessor.Object); ICreateResult result = internalExecutor.Create <string>(fixture.SmartContractState, amount, parameters, gasLimit); fixture.State.Verify(s => s.Snapshot(), Times.Once); fixture.StateProcessor.Verify(sp => sp.Apply(fixture.Snapshot, It.Is <InternalCreateMessage>(m => m.Amount == amount && m.Parameters == parameters && m.GasLimit == gasLimit && m.From == fixture.FromAddress && m.Type == typeof(string).Name ))); fixture.State.Verify(s => s.TransitionTo(fixture.Snapshot), Times.Never); fixture.GasMeter.Verify(g => g.Spend(stateTransitionResult.GasConsumed)); Assert.False(result.Success); Assert.Equal(default(Address), result.NewContractAddress); }
public void Transfer_StateTransition_Error() { ulong amount = 100UL; var to = new Address("Sj2p6ZRHdLvywyi43HYoE4bu2TF1nvavjR"); var fixture = new InternalExecutorTestFixture(); fixture.SetGasMeterLimitAbove((Gas)InternalExecutor.DefaultGasLimit); StateTransitionResult stateTransitionResult = StateTransitionResult.Fail((Gas)1000, StateTransitionErrorKind.VmError); fixture.StateProcessor .Setup(sp => sp.Apply(It.IsAny <IState>(), It.IsAny <ContractTransferMessage>())) .Returns(stateTransitionResult); var internalExecutor = new InternalExecutor( fixture.LoggerFactory, fixture.Network, fixture.State.Object, fixture.StateProcessor.Object); ITransferResult result = internalExecutor.Transfer(fixture.SmartContractState, to, amount); fixture.State.Verify(s => s.Snapshot(), Times.Once); fixture.StateProcessor.Verify(sp => sp.Apply(fixture.Snapshot, It.Is <ContractTransferMessage>(m => m.Amount == amount && m.GasLimit == InternalExecutor.DefaultGasLimit && m.From == fixture.FromAddress && m.To == to.ToUint160(fixture.Network) ))); fixture.State.Verify(s => s.TransitionTo(fixture.Snapshot), Times.Never); fixture.GasMeter.Verify(g => g.Spend(stateTransitionResult.GasConsumed), Times.Once); Assert.False(result.Success); Assert.Null(result.ReturnValue); }
public void Transfer_StateTransition_Error() { var fixture = new InternalExecutorTestFixture(); ulong amount = 100UL; var to = "0x95D34980095380851902ccd9A1Fb4C813C2cb639".HexToAddress(); fixture.SetGasMeterLimitAbove((RuntimeObserver.Gas)InternalExecutor.DefaultGasLimit); StateTransitionResult stateTransitionResult = StateTransitionResult.Fail((RuntimeObserver.Gas) 1000, StateTransitionErrorKind.VmError); fixture.StateProcessor .Setup(sp => sp.Apply(It.IsAny <IState>(), It.IsAny <ContractTransferMessage>())) .Returns(stateTransitionResult); var internalExecutor = new InternalExecutor( fixture.GasMeter.Object, fixture.State.Object, fixture.StateProcessor.Object); ITransferResult result = internalExecutor.Transfer(fixture.SmartContractState, to, amount); fixture.State.Verify(s => s.Snapshot(), Times.Once); fixture.StateProcessor.Verify(sp => sp.Apply(fixture.Snapshot, It.Is <ContractTransferMessage>(m => m.Amount == amount && m.GasLimit == InternalExecutor.DefaultGasLimit && m.From == fixture.FromAddress && m.To == to.ToUint160() ))); fixture.State.Verify(s => s.TransitionTo(fixture.Snapshot), Times.Never); fixture.GasMeter.Verify(g => g.Spend(stateTransitionResult.GasConsumed), Times.Once); Assert.False(result.Success); Assert.Null(result.ReturnValue); }
public void Create_Contract_Failure() { var contractTxData = new ContractTxData(1, 1, (Gas)1000, new byte[] { 0xAA, 0xBB, 0xCC }); StateTransitionResult stateTransitionResult = StateTransitionResult.Fail((Gas)100, StateTransitionErrorKind.VmError); var fixture = new ExecutorFixture(contractTxData); IState snapshot = fixture.State.Object.Snapshot(); fixture.StateProcessor .Setup(s => s.Apply(snapshot, It.IsAny <ExternalCreateMessage>())) .Returns(stateTransitionResult); var sut = new ContractExecutor( fixture.LoggerFactory, fixture.CallDataSerializer.Object, fixture.ContractStateRoot.Object, fixture.RefundProcessor.Object, fixture.TransferProcessor.Object, fixture.StateFactory.Object, fixture.StateProcessor.Object, fixture.ContractPrimitiveSerializer.Object); IContractExecutionResult result = sut.Execute(fixture.ContractTransactionContext); fixture.CallDataSerializer.Verify(s => s.Deserialize(fixture.Data), Times.Once); fixture.StateFactory.Verify(sf => sf .Create( fixture.ContractStateRoot.Object, It.IsAny <IBlock>(), fixture.ContractTransactionContext.TxOutValue, fixture.ContractTransactionContext.TransactionHash), Times.Once); // We only apply the message to the snapshot. fixture.StateProcessor.Verify(sm => sm.Apply(fixture.State.Object.Snapshot(), It.Is <ExternalCreateMessage>(m => m.Code == contractTxData.ContractExecutionCode && m.Parameters == contractTxData.MethodParameters)), Times.Once); // We do not transition to the snapshot because the applying the message was unsuccessful. fixture.State.Verify(sm => sm.TransitionTo(fixture.State.Object.Snapshot()), Times.Never); fixture.TransferProcessor.Verify(t => t .Process( snapshot.ContractState, null, fixture.ContractTransactionContext, snapshot.InternalTransfers, true), Times.Once); fixture.RefundProcessor.Verify(t => t .Process( contractTxData, fixture.MempoolFee, fixture.ContractTransactionContext.Sender, It.IsAny <Gas>(), false), Times.Once); Assert.Null(result.To); Assert.Null(result.NewContractAddress); Assert.Equal(stateTransitionResult.Error.VmError, result.ErrorMessage); Assert.True(result.Revert); Assert.Equal(stateTransitionResult.GasConsumed, result.GasConsumed); Assert.Null(result.Return); Assert.Equal(fixture.InternalTransaction, result.InternalTransaction); Assert.Equal(fixture.Fee, (Money)result.Fee); Assert.Equal(fixture.Refund, result.Refund); Assert.Equal(fixture.State.Object.GetLogs(fixture.ContractPrimitiveSerializer.Object), result.Logs); }
public void Call_Contract_Failure() { var parameters = new object[] { }; var contractTxData = new ContractTxData(1, 1, (Gas)1000, uint160.One, "TestMethod", parameters); StateTransitionResult stateTransitionResult = StateTransitionResult.Fail((Gas)100, StateTransitionErrorKind.VmError); var fixture = new ExecutorFixture(contractTxData); IState snapshot = fixture.State.Object.Snapshot(); fixture.StateProcessor .Setup(s => s.Apply(snapshot, It.IsAny <ExternalCallMessage>())) .Returns(stateTransitionResult); var sut = new ContractExecutor( fixture.LoggerFactory, fixture.CallDataSerializer.Object, fixture.ContractStateRoot.Object, fixture.RefundProcessor.Object, fixture.TransferProcessor.Object, fixture.StateFactory.Object, fixture.StateProcessor.Object, fixture.ContractPrimitiveSerializer.Object); IContractExecutionResult result = sut.Execute(fixture.ContractTransactionContext); fixture.CallDataSerializer.Verify(s => s.Deserialize(fixture.Data), Times.Once); fixture.StateFactory.Verify(sf => sf .Create( fixture.ContractStateRoot.Object, It.IsAny <IBlock>(), fixture.ContractTransactionContext.TxOutValue, fixture.ContractTransactionContext.TransactionHash), Times.Once); // We only apply the message to the snapshot. fixture.StateProcessor.Verify(sm => sm.Apply(snapshot, It.Is <ExternalCallMessage>(m => m.Method.Name == contractTxData.MethodName && m.Method.Parameters == contractTxData.MethodParameters && m.Amount == fixture.ContractTransactionContext.TxOutValue && m.From == fixture.ContractTransactionContext.Sender && m.To == contractTxData.ContractAddress)), Times.Once); // We do not transition to the snapshot because the applying the message was unsuccessful. fixture.State.Verify(sm => sm.TransitionTo(snapshot), Times.Never); // Transfer processor is called with null for new contract address and true for reversion required. fixture.TransferProcessor.Verify(t => t .Process( snapshot.ContractState, null, fixture.ContractTransactionContext, snapshot.InternalTransfers, true), Times.Once); fixture.RefundProcessor.Verify(t => t .Process( contractTxData, fixture.MempoolFee, fixture.ContractTransactionContext.Sender, stateTransitionResult.GasConsumed, false), Times.Once); Assert.Equal(contractTxData.ContractAddress, result.To); Assert.Null(result.NewContractAddress); Assert.Equal(stateTransitionResult.Error.VmError, result.ErrorMessage); Assert.True(result.Revert); Assert.Equal(stateTransitionResult.GasConsumed, result.GasConsumed); Assert.Null(result.Return); Assert.Equal(fixture.InternalTransaction, result.InternalTransaction); Assert.Equal(fixture.Fee, (Money)result.Fee); Assert.Equal(fixture.Refund, result.Refund); Assert.Equal(fixture.State.Object.GetLogs(fixture.ContractPrimitiveSerializer.Object), result.Logs); }