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);
}
