Skip to content

Commit 1f407bb

Browse files
mariaKtmariaKt
committed
Added tests.
1 parent aada72b commit 1f407bb

File tree

6 files changed

+322
-0
lines changed

6 files changed

+322
-0
lines changed

‎test/regression/createwint1.ref

Lines changed: 108 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,108 @@
1+
<solidity>
2+
<k>
3+
.K
4+
</k>
5+
<summarize>
6+
false
7+
</summarize>
8+
<compile>
9+
<current-body>
10+
SomeToken
11+
</current-body>
12+
<ifaces>
13+
.IfaceCellMap
14+
</ifaces>
15+
<contracts>
16+
<contract>
17+
<contract-id>
18+
SomeToken
19+
</contract-id>
20+
<contract-state>
21+
.Map
22+
</contract-state>
23+
<contract-init>
24+
.List
25+
</contract-init>
26+
<contract-fns>
27+
<contract-fn>
28+
<contract-fn-id>
29+
constructor
30+
</contract-fn-id>
31+
<contract-fn-visibility>
32+
public
33+
</contract-fn-visibility>
34+
<contract-fn-arg-types>
35+
ListItem ( uint256 )
36+
</contract-fn-arg-types>
37+
<contract-fn-param-names>
38+
ListItem ( init_supply )
39+
</contract-fn-param-names>
40+
<contract-fn-return-types>
41+
.List
42+
</contract-fn-return-types>
43+
<contract-fn-return-names>
44+
.List
45+
</contract-fn-return-names>
46+
<contract-fn-payable>
47+
false
48+
</contract-fn-payable>
49+
<contract-fn-body>
50+
.Statements
51+
</contract-fn-body>
52+
</contract-fn>
53+
</contract-fns>
54+
<contract-events>
55+
.ContractEventCellMap
56+
</contract-events>
57+
</contract>
58+
</contracts>
59+
</compile>
60+
<exec>
61+
<msg-sender>
62+
1p160
63+
</msg-sender>
64+
<msg-value>
65+
0p256
66+
</msg-value>
67+
<tx-origin>
68+
1p160
69+
</tx-origin>
70+
<block-timestamp>
71+
1724300000p256
72+
</block-timestamp>
73+
<this>
74+
2p160
75+
</this>
76+
<this-type>
77+
SomeToken
78+
</this-type>
79+
<env>
80+
init_supply |-> var ( 0 , uint256 )
81+
</env>
82+
<store>
83+
ListItem ( 1000000000000000000p256 )
84+
</store>
85+
<current-function>
86+
constructor
87+
</current-function>
88+
<call-stack>
89+
.List
90+
</call-stack>
91+
<live-contracts>
92+
<live-contract>
93+
<contract-address>
94+
2p160
95+
</contract-address>
96+
<contract-type>
97+
SomeToken
98+
</contract-type>
99+
<contract-storage>
100+
.Map
101+
</contract-storage>
102+
</live-contract>
103+
</live-contracts>
104+
<next-address>
105+
3p160
106+
</next-address>
107+
</exec>
108+
</solidity>

‎test/regression/createwint1.sol

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
pragma solidity ^0.8.24;
2+
3+
contract SomeToken {
4+
5+
constructor(uint256 init_supply) {
6+
}
7+
8+
}

‎test/regression/createwint1.txn

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
create(1, 0, 1724300000, SomeToken, 1e18)

‎test/regression/createwint2.ref

Lines changed: 184 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,184 @@
1+
<solidity>
2+
<k>
3+
.K
4+
</k>
5+
<summarize>
6+
false
7+
</summarize>
8+
<compile>
9+
<current-body>
10+
SomeTokenCreate
11+
</current-body>
12+
<ifaces>
13+
.IfaceCellMap
14+
</ifaces>
15+
<contracts>
16+
<contract>
17+
<contract-id>
18+
SomeToken
19+
</contract-id>
20+
<contract-state>
21+
.Map
22+
</contract-state>
23+
<contract-init>
24+
.List
25+
</contract-init>
26+
<contract-fns>
27+
<contract-fn>
28+
<contract-fn-id>
29+
constructor
30+
</contract-fn-id>
31+
<contract-fn-visibility>
32+
public
33+
</contract-fn-visibility>
34+
<contract-fn-arg-types>
35+
ListItem ( uint256 )
36+
</contract-fn-arg-types>
37+
<contract-fn-param-names>
38+
ListItem ( init_supply )
39+
</contract-fn-param-names>
40+
<contract-fn-return-types>
41+
.List
42+
</contract-fn-return-types>
43+
<contract-fn-return-names>
44+
.List
45+
</contract-fn-return-names>
46+
<contract-fn-payable>
47+
false
48+
</contract-fn-payable>
49+
<contract-fn-body>
50+
.Statements
51+
</contract-fn-body>
52+
</contract-fn>
53+
</contract-fns>
54+
<contract-events>
55+
.ContractEventCellMap
56+
</contract-events>
57+
</contract> <contract>
58+
<contract-id>
59+
SomeTokenCreate
60+
</contract-id>
61+
<contract-state>
62+
_someToken |-> SomeToken
63+
</contract-state>
64+
<contract-init>
65+
.List
66+
</contract-init>
67+
<contract-fns>
68+
<contract-fn>
69+
<contract-fn-id>
70+
_someToken
71+
</contract-fn-id>
72+
<contract-fn-visibility>
73+
public
74+
</contract-fn-visibility>
75+
<contract-fn-arg-types>
76+
.List
77+
</contract-fn-arg-types>
78+
<contract-fn-param-names>
79+
.List
80+
</contract-fn-param-names>
81+
<contract-fn-return-types>
82+
ListItem ( SomeToken )
83+
</contract-fn-return-types>
84+
<contract-fn-return-names>
85+
ListItem ( noId )
86+
</contract-fn-return-names>
87+
<contract-fn-payable>
88+
false
89+
</contract-fn-payable>
90+
<contract-fn-body>
91+
return _someToken ; .Statements
92+
</contract-fn-body>
93+
</contract-fn> <contract-fn>
94+
<contract-fn-id>
95+
testSomeTokenCreate
96+
</contract-fn-id>
97+
<contract-fn-visibility>
98+
public
99+
</contract-fn-visibility>
100+
<contract-fn-arg-types>
101+
.List
102+
</contract-fn-arg-types>
103+
<contract-fn-param-names>
104+
.List
105+
</contract-fn-param-names>
106+
<contract-fn-return-types>
107+
.List
108+
</contract-fn-return-types>
109+
<contract-fn-return-names>
110+
.List
111+
</contract-fn-return-names>
112+
<contract-fn-payable>
113+
false
114+
</contract-fn-payable>
115+
<contract-fn-body>
116+
_someToken = new SomeToken ( 1e18 , .TypedVals ) ; .Statements
117+
</contract-fn-body>
118+
</contract-fn>
119+
</contract-fns>
120+
<contract-events>
121+
.ContractEventCellMap
122+
</contract-events>
123+
</contract>
124+
</contracts>
125+
</compile>
126+
<exec>
127+
<msg-sender>
128+
1p160
129+
</msg-sender>
130+
<msg-value>
131+
0p256
132+
</msg-value>
133+
<tx-origin>
134+
1p160
135+
</tx-origin>
136+
<block-timestamp>
137+
1724300000p256
138+
</block-timestamp>
139+
<this>
140+
2p160
141+
</this>
142+
<this-type>
143+
SomeTokenCreate
144+
</this-type>
145+
<env>
146+
.Map
147+
</env>
148+
<store>
149+
.List
150+
</store>
151+
<current-function>
152+
testSomeTokenCreate
153+
</current-function>
154+
<call-stack>
155+
.List
156+
</call-stack>
157+
<live-contracts>
158+
<live-contract>
159+
<contract-address>
160+
2p160
161+
</contract-address>
162+
<contract-type>
163+
SomeTokenCreate
164+
</contract-type>
165+
<contract-storage>
166+
_someToken |-> 3p160
167+
</contract-storage>
168+
</live-contract> <live-contract>
169+
<contract-address>
170+
3p160
171+
</contract-address>
172+
<contract-type>
173+
SomeToken
174+
</contract-type>
175+
<contract-storage>
176+
.Map
177+
</contract-storage>
178+
</live-contract>
179+
</live-contracts>
180+
<next-address>
181+
4p160
182+
</next-address>
183+
</exec>
184+
</solidity>

‎test/regression/createwint2.sol

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
pragma solidity ^0.8.24;
2+
3+
contract SomeToken {
4+
5+
constructor(uint256 init_supply) {
6+
}
7+
8+
}
9+
10+
contract SomeTokenCreate {
11+
12+
SomeToken public _someToken;
13+
14+
function testSomeTokenCreate() public {
15+
// Create SomeToken
16+
_someToken = new SomeToken(1e18);
17+
}
18+
19+
}

‎test/regression/createwint2.txn

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
create(1, 0, 1724300000, SomeTokenCreate, ),
2+
txn(1, 2, 0, 1724300000, testSomeTokenCreate, )

0 commit comments

Comments
 (0)