public async Task InConstructorTest()
{
ContractExecutionException exec = null;
UInt256 testValue = 112233445566778899;
try
{
await VarAnalysisContract.New(testValue, RpcClient);
}
catch (ContractExecutionException ex)
{
exec = ex;
}
// Obtain an execution trace and parse locals from the last point in it (where the exception occurred).
var executionTrace = await RpcClient.GetExecutionTrace();
ExecutionTraceAnalysis traceAnalysis = new ExecutionTraceAnalysis(executionTrace);
// Obtain our local/state variables.
var localVariables = traceAnalysis.GetLocalVariables();
var stateVariables = traceAnalysis.GetStateVariables();
// TODO: Verify variables.
Assert.Inconclusive();
}
public async Task TestGenericVars()
{
// Add all of our accounts to a mapping with the given index as the value.
for (int i = 0; i < Accounts.Length; i++)
{
// We set a value for each account that is non-zero (zero values aren't stored, the storage entry is deleted).
await _contract.updateSimpleMapping(Accounts[i], i + 700);
}
// Add some other values to a nested mapping (every enum will alternate between SECOND and THIRD)
for (int i = 1; i <= 10; i++)
{
await _contract.updateNestedMapping(i, i * 2, (byte)((i % 2) + 1));
}
// Throw an exception in a function call.
await _contract.throwWithGenericVars(778899, 100).ExpectRevertTransaction();
// Obtain an execution trace and parse locals from the last point in it (where the exception occurred).
var executionTrace = await RpcClient.GetExecutionTrace();
ExecutionTraceAnalysis traceAnalysis = new ExecutionTraceAnalysis(executionTrace);
// Obtain our local/state variables.
var localVariables = traceAnalysis.GetLocalVariables(RpcClient);
var stateVariables = traceAnalysis.GetStateVariables(RpcClient);
// TODO: Verify variables.
Assert.Inconclusive();
}
public async Task TestExternalCallDataArgs()
{
Address[] addresses = new Address[] { new Address("0x7777777777777777777777777777777777777777"), new Address("0x8888888888888888888888888888888888888888"), new Address("0x9999999999999999999999999999999999999999") };
await _contract.throwExternalCallDataArgs(addresses, 10, 10).ExpectRevertTransaction();
// Obtain an execution trace and parse locals from the last point in it (where the exception occurred).
var executionTrace = await RpcClient.GetExecutionTrace();
ExecutionTraceAnalysis traceAnalysis = new ExecutionTraceAnalysis(executionTrace);
// Obtain our local/state variables.
var localVariables = traceAnalysis.GetLocalVariables(RpcClient);
var stateVariables = traceAnalysis.GetStateVariables(RpcClient);
// TODO: Verify variables.
Assert.Inconclusive();
}
public async Task TestBytesMemory()
{
// Create a byte array
byte[] param1 = { 0x77, 0x88, 0x99, 0x88, 0x77, 0x00, 0x00, 0x00 };
// Throw an exception in a function call (so we can simply check locals on latest execution point, since we have no front end/UI to choose an execution point at the time of writing this).
await _contract.throwBytes(param1).ExpectRevertTransaction();
// Obtain an execution trace and parse locals from the last point in it (where the exception occurred).
var executionTrace = await RpcClient.GetExecutionTrace();
ExecutionTraceAnalysis traceAnalysis = new ExecutionTraceAnalysis(executionTrace);
// Obtain our local/state variables.
var localVariables = traceAnalysis.GetLocalVariables();
var stateVariables = traceAnalysis.GetStateVariables();
// TODO: Verify variables.
Assert.Inconclusive();
}
public async Task InDeeperCall()
{
// Update our values 7 times.
for (int i = 0; i < 7; i++)
{
await _contract.updateStateValues();
}
// Throw an exception in a function call (so we can simply check locals on latest execution point, since we have no front end/UI to choose an execution point at the time of writing this).
await _contract.indirectThrowWithLocals(778899, 100).ExpectRevertTransaction();
// Obtain an execution trace and parse locals from the last point in it (where the exception occurred).
var executionTrace = await RpcClient.GetExecutionTrace();
ExecutionTraceAnalysis traceAnalysis = new ExecutionTraceAnalysis(executionTrace);
// Obtain our local/state variables.
var localVariables = traceAnalysis.GetLocalVariables();
var stateVariables = traceAnalysis.GetStateVariables();
// TODO: Verify variables.
Assert.Inconclusive();
}
public async Task TestStructMemory()
{
// Update our values 7 times.
for (int i = 0; i < 7; i++)
{
await _contract.updateStateValues();
}
// Throw an exception in a function call (so we can simply check locals on latest execution point).
await _contract.throwStruct().ExpectRevertTransaction();
// Obtain an execution trace and parse locals from the last point in it (where the exception occurred).
var executionTrace = await RpcClient.GetExecutionTrace();
ExecutionTraceAnalysis traceAnalysis = new ExecutionTraceAnalysis(executionTrace);
// Obtain our local/state variables.
var localVariables = traceAnalysis.GetLocalVariables(RpcClient);
var stateVariables = traceAnalysis.GetStateVariables(RpcClient);
// TODO: Verify variables.
Assert.Inconclusive();
}
