Skip to content

Commit 89ed7dd

Browse files
ttuegelttuegel
committed
test: make golden
1 parent afef26c commit 89ed7dd

File tree

5 files changed

+697
-979
lines changed

5 files changed

+697
-979
lines changed

‎test/ord/1.ord.out.golden

Lines changed: 3 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -1,19 +1,3 @@
1-
#Not ( {
2-
"a"
3-
#Equals
4-
"Error"
5-
} )
6-
#And
7-
<k>
8-
"a" ~> .
9-
</k>
10-
#Or
11-
<k>
12-
.
13-
</k>
14-
#And
15-
{
16-
"a"
17-
#Equals
18-
"Error"
19-
}
1+
<k>
2+
"a" ~> .
3+
</k>

‎test/regression-evm-semantics-39dd1e5/test-add0.sh.out.golden

Lines changed: 231 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,231 @@
1+
/* Fl Fn D Sfa */
2+
Lbl'-LT-'generatedTop'-GT-'{}(
3+
/* Fl Fn D Sfa */
4+
Lbl'-LT-'kevm'-GT-'{}(
5+
/* Fl Fn D Sfa Cl */ Lbl'-LT-'k'-GT-'{}(/* Fl Fn D Sfa Cl */ dotk{}()),
6+
/* Fl Fn D Sfa Cl */
7+
Lbl'-LT-'exit-code'-GT-'{}(/* Fl Fn D Sfa Cl */ \dv{SortInt{}}("0")),
8+
/* Fl Fn D Sfa Cl */
9+
Lbl'-LT-'mode'-GT-'{}(
10+
/* Fl Fn D Sfa Cl */
11+
LblSUCCESS'Unds'ETHEREUM-SIMULATION'Unds'Mode{}()
12+
),
13+
/* Fl Fn D Sfa Cl */
14+
Lbl'-LT-'schedule'-GT-'{}(/* Fl Fn D Sfa Cl */ LblDEFAULT'Unds'EVM{}()),
15+
/* Fl Fn D Sfa */
16+
Lbl'-LT-'ethereum'-GT-'{}(
17+
/* Fl Fn D Sfa */
18+
Lbl'-LT-'evm'-GT-'{}(
19+
/* Fl Fn D Sfa Cl */
20+
Lbl'-LT-'output'-GT-'{}(
21+
/* Fl Fn D Sfa Cl */ \dv{SortBytes{}}("")
22+
),
23+
/* Fl Fn D Sfa Cl */
24+
Lbl'-LT-'statusCode'-GT-'{}(
25+
/* Fl Fn D Sfa Cl */
26+
Lbl'Stop'StatusCode'Unds'NETWORK'Unds'StatusCode{}()
27+
),
28+
/* Fl Fn D Sfa */
29+
Lbl'-LT-'callStack'-GT-'{}(
30+
/* Fl Fn D Sfa */ /* builtin: */ Lbl'Stop'List{}()
31+
),
32+
/* Fl Fn D Sfa */
33+
Lbl'-LT-'interimStates'-GT-'{}(
34+
/* Fl Fn D Sfa */ /* builtin: */ Lbl'Stop'List{}()
35+
),
36+
/* Fl Fn D Sfa Cl */
37+
Lbl'-LT-'touchedAccounts'-GT-'{}(
38+
/* Fl Fn D Sfa Cl */ /* builtin: */ Lbl'Stop'Set{}()
39+
),
40+
/* Fl Fn D Sfa Cl */
41+
Lbl'-LT-'callState'-GT-'{}(
42+
/* Fl Fn D Sfa Cl */
43+
Lbl'-LT-'program'-GT-'{}(
44+
/* Fl Fn D Sfa Cl */ \dv{SortBytes{}}("")
45+
),
46+
/* Fl Fn D Sfa Cl */
47+
Lbl'-LT-'jumpDests'-GT-'{}(
48+
/* Fl Fn D Sfa Cl */ /* builtin: */ Lbl'Stop'Set{}()
49+
),
50+
/* Fl Fn D Sfa Cl */
51+
Lbl'-LT-'id'-GT-'{}(
52+
/* Fl Fn D Sfa Cl */
53+
Lbl'Stop'Account'Unds'EVM-TYPES'Unds'Account{}()
54+
),
55+
/* Fl Fn D Sfa Cl */
56+
Lbl'-LT-'caller'-GT-'{}(
57+
/* Fl Fn D Sfa Cl */
58+
Lbl'Stop'Account'Unds'EVM-TYPES'Unds'Account{}()
59+
),
60+
/* Fl Fn D Sfa Cl */
61+
Lbl'-LT-'callData'-GT-'{}(
62+
/* Fl Fn D Sfa Cl */ \dv{SortBytes{}}("")
63+
),
64+
/* Fl Fn D Sfa Cl */
65+
Lbl'-LT-'callValue'-GT-'{}(
66+
/* Fl Fn D Sfa Cl */ \dv{SortInt{}}("0")
67+
),
68+
/* Fl Fn D Sfa Cl */
69+
Lbl'-LT-'wordStack'-GT-'{}(
70+
/* Fl Fn D Sfa Cl */
71+
Lbl'Stop'WordStack'Unds'EVM-TYPES'Unds'WordStack{}()
72+
),
73+
/* Fl Fn D Sfa Cl */
74+
Lbl'-LT-'localMem'-GT-'{}(
75+
/* Fl Fn D Sfa Cl */ /* builtin: */ Lbl'Stop'Map{}()
76+
),
77+
/* Fl Fn D Sfa Cl */
78+
Lbl'-LT-'pc'-GT-'{}(
79+
/* Fl Fn D Sfa Cl */ \dv{SortInt{}}("0")
80+
),
81+
/* Fl Fn D Sfa Cl */
82+
Lbl'-LT-'gas'-GT-'{}(
83+
/* Fl Fn D Sfa Cl */ \dv{SortInt{}}("0")
84+
),
85+
/* Fl Fn D Sfa Cl */
86+
Lbl'-LT-'memoryUsed'-GT-'{}(
87+
/* Fl Fn D Sfa Cl */ \dv{SortInt{}}("0")
88+
),
89+
/* Fl Fn D Sfa Cl */
90+
Lbl'-LT-'callGas'-GT-'{}(
91+
/* Fl Fn D Sfa Cl */ \dv{SortInt{}}("0")
92+
),
93+
/* Fl Fn D Sfa Cl */
94+
Lbl'-LT-'static'-GT-'{}(
95+
/* Fl Fn D Sfa Cl */ \dv{SortBool{}}("false")
96+
),
97+
/* Fl Fn D Sfa Cl */
98+
Lbl'-LT-'callDepth'-GT-'{}(
99+
/* Fl Fn D Sfa Cl */ \dv{SortInt{}}("0")
100+
)
101+
),
102+
/* Fl Fn D Sfa */
103+
Lbl'-LT-'substate'-GT-'{}(
104+
/* Fl Fn D Sfa Cl */
105+
Lbl'-LT-'selfDestruct'-GT-'{}(
106+
/* Fl Fn D Sfa Cl */ /* builtin: */ Lbl'Stop'Set{}()
107+
),
108+
/* Fl Fn D Sfa */
109+
Lbl'-LT-'log'-GT-'{}(
110+
/* Fl Fn D Sfa */ /* builtin: */ Lbl'Stop'List{}()
111+
),
112+
/* Fl Fn D Sfa Cl */
113+
Lbl'-LT-'refund'-GT-'{}(
114+
/* Fl Fn D Sfa Cl */ \dv{SortInt{}}("0")
115+
)
116+
),
117+
/* Fl Fn D Sfa Cl */
118+
Lbl'-LT-'gasPrice'-GT-'{}(
119+
/* Fl Fn D Sfa Cl */ \dv{SortInt{}}("0")
120+
),
121+
/* Fl Fn D Sfa Cl */
122+
Lbl'-LT-'origin'-GT-'{}(
123+
/* Fl Fn D Sfa Cl */
124+
Lbl'Stop'Account'Unds'EVM-TYPES'Unds'Account{}()
125+
),
126+
/* Fl Fn D Sfa */
127+
Lbl'-LT-'blockhashes'-GT-'{}(
128+
/* Fl Fn D Sfa */ /* builtin: */ Lbl'Stop'List{}()
129+
),
130+
/* Fl Fn D Sfa Cl */
131+
Lbl'-LT-'block'-GT-'{}(
132+
/* Fl Fn D Sfa Cl */
133+
Lbl'-LT-'previousHash'-GT-'{}(
134+
/* Fl Fn D Sfa Cl */ \dv{SortInt{}}("0")
135+
),
136+
/* Fl Fn D Sfa Cl */
137+
Lbl'-LT-'ommersHash'-GT-'{}(
138+
/* Fl Fn D Sfa Cl */ \dv{SortInt{}}("0")
139+
),
140+
/* Fl Fn D Sfa Cl */
141+
Lbl'-LT-'coinbase'-GT-'{}(
142+
/* Fl Fn D Sfa Cl */ \dv{SortInt{}}("0")
143+
),
144+
/* Fl Fn D Sfa Cl */
145+
Lbl'-LT-'stateRoot'-GT-'{}(
146+
/* Fl Fn D Sfa Cl */ \dv{SortInt{}}("0")
147+
),
148+
/* Fl Fn D Sfa Cl */
149+
Lbl'-LT-'transactionsRoot'-GT-'{}(
150+
/* Fl Fn D Sfa Cl */ \dv{SortInt{}}("0")
151+
),
152+
/* Fl Fn D Sfa Cl */
153+
Lbl'-LT-'receiptsRoot'-GT-'{}(
154+
/* Fl Fn D Sfa Cl */ \dv{SortInt{}}("0")
155+
),
156+
/* Fl Fn D Sfa Cl */
157+
Lbl'-LT-'logsBloom'-GT-'{}(
158+
/* Fl Fn D Sfa Cl */ \dv{SortBytes{}}("")
159+
),
160+
/* Fl Fn D Sfa Cl */
161+
Lbl'-LT-'difficulty'-GT-'{}(
162+
/* Fl Fn D Sfa Cl */ \dv{SortInt{}}("0")
163+
),
164+
/* Fl Fn D Sfa Cl */
165+
Lbl'-LT-'number'-GT-'{}(
166+
/* Fl Fn D Sfa Cl */ \dv{SortInt{}}("0")
167+
),
168+
/* Fl Fn D Sfa Cl */
169+
Lbl'-LT-'gasLimit'-GT-'{}(
170+
/* Fl Fn D Sfa Cl */ \dv{SortInt{}}("0")
171+
),
172+
/* Fl Fn D Sfa Cl */
173+
Lbl'-LT-'gasUsed'-GT-'{}(
174+
/* Fl Fn D Sfa Cl */ \dv{SortInt{}}("0")
175+
),
176+
/* Fl Fn D Sfa Cl */
177+
Lbl'-LT-'timestamp'-GT-'{}(
178+
/* Fl Fn D Sfa Cl */ \dv{SortInt{}}("0")
179+
),
180+
/* Fl Fn D Sfa Cl */
181+
Lbl'-LT-'extraData'-GT-'{}(
182+
/* Fl Fn D Sfa Cl */ \dv{SortBytes{}}("")
183+
),
184+
/* Fl Fn D Sfa Cl */
185+
Lbl'-LT-'mixHash'-GT-'{}(
186+
/* Fl Fn D Sfa Cl */ \dv{SortInt{}}("0")
187+
),
188+
/* Fl Fn D Sfa Cl */
189+
Lbl'-LT-'blockNonce'-GT-'{}(
190+
/* Fl Fn D Sfa Cl */ \dv{SortInt{}}("0")
191+
),
192+
/* Fl Fn D Sfa Cl */
193+
Lbl'-LT-'ommerBlockHeaders'-GT-'{}(
194+
/* Fl Fn D Sfa Cl */
195+
LblJSONList{}(
196+
/* Fl Fn D Sfa Cl */
197+
Lbl'Stop'List'LBraQuot'JSONs'QuotRBraUnds'JSONs{}()
198+
)
199+
)
200+
)
201+
),
202+
/* Fl Fn D Sfa */
203+
Lbl'-LT-'network'-GT-'{}(
204+
/* Fl Fn D Sfa Cl */
205+
Lbl'-LT-'activeAccounts'-GT-'{}(
206+
/* Fl Fn D Sfa Cl */ /* builtin: */ Lbl'Stop'Set{}()
207+
),
208+
/* Fl Fn D Sfa Cl */
209+
Lbl'-LT-'accounts'-GT-'{}(
210+
/* Fl Fn D Sfa Cl */
211+
/* builtin: */ Lbl'Stop'AccountCellMap{}()
212+
),
213+
/* Fl Fn D Sfa */
214+
Lbl'-LT-'txOrder'-GT-'{}(
215+
/* Fl Fn D Sfa */ /* builtin: */ Lbl'Stop'List{}()
216+
),
217+
/* Fl Fn D Sfa */
218+
Lbl'-LT-'txPending'-GT-'{}(
219+
/* Fl Fn D Sfa */ /* builtin: */ Lbl'Stop'List{}()
220+
),
221+
/* Fl Fn D Sfa Cl */
222+
Lbl'-LT-'messages'-GT-'{}(
223+
/* Fl Fn D Sfa Cl */
224+
/* builtin: */ Lbl'Stop'MessageCellMap{}()
225+
)
226+
)
227+
)
228+
),
229+
/* Fl Fn D Sfa Cl */
230+
Lbl'-LT-'generatedCounter'-GT-'{}(/* Fl Fn D Sfa Cl */ \dv{SortInt{}}("0"))
231+
)

0 commit comments

Comments
 (0)