diff options
Diffstat (limited to 'data/transactions/logic/eval_test.go')
| -rw-r--r-- | data/transactions/logic/eval_test.go | 69 |
1 files changed, 68 insertions, 1 deletions
diff --git a/data/transactions/logic/eval_test.go b/data/transactions/logic/eval_test.go index 3e1fe56af..74b9f931c 100644 --- a/data/transactions/logic/eval_test.go +++ b/data/transactions/logic/eval_test.go @@ -64,6 +64,7 @@ func defaultEvalProtoWithVersion(version uint64) config.ConsensusParams { SchemaBytesMinBalance: 1005, MaxInnerTransactions: 4, + MaxTxGroupSize: 8, // With the addition of itxn_field, itxn_submit, which rely on // machinery outside logic package for validity checking, we @@ -73,6 +74,14 @@ func defaultEvalProtoWithVersion(version uint64) config.ConsensusParams { MaxAssetUnitNameBytes: 6, MaxAssetURLBytes: 32, MaxAssetDecimals: 4, + SupportRekeying: true, + MaxTxnNoteBytes: 500, + EnableFeePooling: true, + + // Chosen to be different from one another and from normal proto + MaxAppTxnAccounts: 3, + MaxAppTxnForeignApps: 5, + MaxAppTxnForeignAssets: 6, } } @@ -999,6 +1008,10 @@ byte 0x0706000000000000000000000000000000000000000000000000000000000000 && ` +const globalV6TestProgram = globalV5TestProgram + ` +// No new globals in v6 +` + func TestGlobal(t *testing.T) { partitiontest.PartitionTest(t) @@ -1028,6 +1041,10 @@ func TestGlobal(t *testing.T) { GroupID, globalV5TestProgram, EvalStateful, CheckStateful, }, + 6: { + GroupID, globalV6TestProgram, + EvalStateful, CheckStateful, + }, } // tests keys are versions so they must be in a range 1..AssemblerMaxVersion plus zero version require.LessOrEqual(t, len(tests), AssemblerMaxVersion+1) @@ -1439,6 +1456,12 @@ assert int 1 ` +const testTxnProgramTextV6 = testTxnProgramTextV5 + ` +assert + +int 1 +` + func makeSampleTxn() transactions.SignedTxn { var txn transactions.SignedTxn copy(txn.Txn.Sender[:], []byte("aoeuiaoeuiaoeuiaoeuiaoeuiaoeui00")) @@ -1526,7 +1549,7 @@ func TestTxn(t *testing.T) { t.Parallel() for i, txnField := range TxnFieldNames { fs := txnFieldSpecByField[TxnField(i)] - if !fs.effects && !strings.Contains(testTxnProgramTextV5, txnField) { + if !fs.effects && !strings.Contains(testTxnProgramTextV6, txnField) { if txnField != FirstValidTime.String() { t.Errorf("TestTxn missing field %v", txnField) } @@ -1539,6 +1562,7 @@ func TestTxn(t *testing.T) { 3: testTxnProgramTextV3, 4: testTxnProgramTextV4, 5: testTxnProgramTextV5, + 6: testTxnProgramTextV6, } clearOps := testProg(t, "int 1", 1) @@ -1823,11 +1847,15 @@ gtxn 0 Sender && ` + gtxnTextV6 := gtxnTextV5 + ` +` + tests := map[uint64]string{ 1: gtxnTextV1, 2: gtxnTextV2, 4: gtxnTextV4, 5: gtxnTextV5, + 6: gtxnTextV6, } for v, source := range tests { @@ -4842,3 +4870,42 @@ func TestLog(t *testing.T) { require.False(t, pass) } } + +func TestPcDetails(t *testing.T) { + partitiontest.PartitionTest(t) + t.Parallel() + + var tests = []struct { + source string + pc int + det string + }{ + {"int 1; int 2; -", 5, "pushint 1\npushint 2\n-\n"}, + {"int 1; err", 3, "pushint 1\nerr\n"}, + {"int 1; dup; int 2; -; +", 6, "dup\npushint 2\n-\n"}, + {"b end; end:", 4, ""}, + } + for i, test := range tests { + t.Run(fmt.Sprintf("i=%d", i), func(t *testing.T) { + ops := testProg(t, test.source, LogicVersion) + txn := makeSampleTxn() + txgroup := makeSampleTxnGroup(txn) + txn.Lsig.Logic = ops.Program + sb := strings.Builder{} + ep := defaultEvalParams(&sb, &txn) + ep.TxnGroup = txgroup + + var cx EvalContext + cx.EvalParams = ep + cx.runModeFlags = runModeSignature + + pass, err := eval(ops.Program, &cx) + require.Error(t, err) + require.False(t, pass) + + pc, det := cx.PcDetails() + require.Equal(t, test.pc, pc) + require.Equal(t, test.det, det) + }) + } +} |