예제 #1
0
        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();
        }
예제 #2
0
        public async Task InConstructorTest()
        {
            UInt256 testValue = 112233445566778899;
            await VarAnalysisContract.New(testValue, RpcClient).ExpectRevert();

            // TODO: Verify variables.
            Assert.Inconclusive();
        }
예제 #3
0
        public async Task InConstructorTest()
        {
            ContractExecutionException exec = null;
            UInt256 testValue = 112233445566778899;

            try
            {
                await VarAnalysisContract.New(testValue, RpcClient);
            }
            catch (ContractExecutionException ex)
            {
                exec = ex;
            }

            // TODO: Verify variables.
            Assert.Inconclusive();
        }
예제 #4
0
 protected override async Task BeforeEach()
 {
     // Deploy our test contract
     _contract = await VarAnalysisContract.New(0, RpcClient);
 }
예제 #5
0
 public async Task InConstructorTest()
 {
     UInt256 testValue = 112233445566778899;
     await VarAnalysisContract.New(testValue, RpcClient).ExpectRevert();
 }