1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
|
// Copyright (C) 2019-2022 Algorand, Inc.
// This file is part of go-algorand
//
// go-algorand is free software: you can redistribute it and/or modify
// it under the terms of the GNU Affero General Public License as
// published by the Free Software Foundation, either version 3 of the
// License, or (at your option) any later version.
//
// go-algorand is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU Affero General Public License for more details.
//
// You should have received a copy of the GNU Affero General Public License
// along with go-algorand. If not, see <https://www.gnu.org/licenses/>.
package main
import (
"testing"
"github.com/stretchr/testify/require"
"github.com/algorand/go-algorand/config"
"github.com/algorand/go-algorand/data/basics"
"github.com/algorand/go-algorand/data/transactions"
"github.com/algorand/go-algorand/data/transactions/logic"
"github.com/algorand/go-algorand/protocol"
"github.com/algorand/go-algorand/test/partitiontest"
)
// Current implementation uses LegderForCowBase interface to plug into evaluator.
// LedgerForLogic in this case is created inside ledger package, and it is the same
// as used in on-chain evaluation.
// This test ensures TEAL program sees data provided by LegderForCowBase, and sees all
// intermediate changes.
func TestBalanceAdapterStateChanges(t *testing.T) {
partitiontest.PartitionTest(t)
a := require.New(t)
source := `#pragma version 2
// read initial value, must be 1
byte "gkeyint"
app_global_get
int 2
==
// write a new value
byte "gkeyint"
int 3
app_global_put
// read updated value, must be 2
byte "gkeyint"
app_global_get
int 3
==
&&
//
// repeat the same for some local key
//
int 0
byte "lkeyint"
app_local_get
int 1
==
&&
int 0
byte "lkeyint"
int 2
app_local_put
int 0
byte "lkeyint"
app_local_get
int 2
==
&&
`
ops, err := logic.AssembleString(source)
a.NoError(err)
program := ops.Program
addr, err := basics.UnmarshalChecksumAddress("47YPQTIGQEO7T4Y4RWDYWEKV6RTR2UNBQXBABEEGM72ESWDQNCQ52OPASU")
a.NoError(err)
assetIdx := basics.AssetIndex(50)
appIdx := basics.AppIndex(100)
br := makeSampleBalanceRecord(addr, assetIdx, appIdx)
balances := map[basics.Address]basics.AccountData{
addr: br.AccountData,
}
// make transaction group: app call + sample payment
txn := transactions.SignedTxn{
Txn: transactions.Transaction{
Header: transactions.Header{
Sender: addr,
Fee: basics.MicroAlgos{Raw: 100},
Note: []byte{1, 2, 3},
},
ApplicationCallTxnFields: transactions.ApplicationCallTxnFields{
ApplicationID: appIdx,
ApplicationArgs: [][]byte{[]byte("ALGO"), []byte("RAND")},
},
},
}
ba, _, err := makeBalancesAdapter(
balances, []transactions.SignedTxn{txn}, 0, string(protocol.ConsensusCurrentVersion),
100, 102030, appIdx, false, "", "",
)
a.NoError(err)
proto := config.Consensus[protocol.ConsensusCurrentVersion]
pse := logic.MakePastSideEffects(1)
ep := logic.EvalParams{
Txn: &txn,
Proto: &proto,
TxnGroup: []transactions.SignedTxn{txn},
GroupIndex: 0,
PastSideEffects: pse,
}
pass, delta, err := ba.StatefulEval(ep, appIdx, program)
a.NoError(err)
a.True(pass)
a.Equal(1, len(delta.GlobalDelta))
a.Equal(basics.SetUintAction, delta.GlobalDelta["gkeyint"].Action)
a.Equal(uint64(3), delta.GlobalDelta["gkeyint"].Uint)
a.Equal(1, len(delta.LocalDeltas))
a.Equal(1, len(delta.LocalDeltas[0]))
a.Equal(basics.SetUintAction, delta.LocalDeltas[0]["lkeyint"].Action)
a.Equal(uint64(2), delta.LocalDeltas[0]["lkeyint"].Uint)
}
|
