-
Notifications
You must be signed in to change notification settings - Fork 3
/
test_report.txt
369 lines (308 loc) · 12.6 KB
/
test_report.txt
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
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
Compiling snforge_scarb_plugin v0.1.0 (git+https://github.com/foundry-rs/starknet-foundry.git?tag=v0.30.0#196f06b251926697c3d66800f2a93ae595e76496)
Finished `release` profile [optimized] target(s) in 0.11s
Compiling test(riscairo_unittest) riscairo v0.1.0 (/home/damip/riscairo/Scarb.toml)
Compiling test(riscairo_tests) riscairo_tests v0.1.0 (/home/damip/riscairo/Scarb.toml)
Finished release target(s) in 8 seconds
Compiling snforge_scarb_plugin v0.1.0 (git+https://github.com/foundry-rs/starknet-foundry.git?tag=v0.30.0#196f06b251926697c3d66800f2a93ae595e76496)
Finished `release` profile [optimized] target(s) in 0.11s
Compiling riscairo v0.1.0 (/home/damip/riscairo/Scarb.toml)
Finished release target(s) in 4 seconds
Collected 59 test(s) from riscairo package
Running 0 test(s) from src/
Running 59 test(s) from tests/
[PASS] riscairo_tests::rust_tests::test_fibonacci_local_10 (gas: ~2)
steps: 333
memory holes: 13
builtins: (range_check: 45)
syscalls: ()
[PASS] riscairo_tests::rust_tests::test_fibonacci_local_40 (gas: ~7)
steps: 1083
memory holes: 13
builtins: (range_check: 165)
syscalls: ()
[PASS] riscairo_tests::rust_tests::test_fibonacci_local_30 (gas: ~5)
steps: 833
memory holes: 13
builtins: (range_check: 125)
syscalls: ()
[PASS] riscairo_tests::rust_tests::test_array_reverse_local_10 (gas: ~4)
steps: 904
memory holes: 13
builtins: (range_check: 76)
syscalls: ()
[PASS] riscairo_tests::rust_tests::test_find_max_local_10 (gas: ~3)
steps: 488
memory holes: 49
builtins: (range_check: 59)
syscalls: ()
[PASS] riscairo_tests::rust_tests::test_find_max_local_100 (gas: ~21)
steps: 3900
memory holes: 601
builtins: (range_check: 507)
syscalls: ()
[PASS] riscairo_tests::rust_tests::test_find_max_local_50 (gas: ~11)
steps: 2012
memory holes: 289
builtins: (range_check: 259)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_slti (gas: ~2527)
steps: 552971
memory holes: 90986
builtins: (range_check: 63171, bitwise: 2255)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_srai (gas: ~2640)
steps: 578930
memory holes: 96144
builtins: (range_check: 65988, bitwise: 3367)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_slli (gas: ~2595)
steps: 570953
memory holes: 91705
builtins: (range_check: 64869, bitwise: 2578)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_lui (gas: ~1915)
steps: 414021
memory holes: 33980
builtins: (range_check: 47854, bitwise: 907)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_blt (gas: ~2664)
steps: 582667
memory holes: 107886
builtins: (range_check: 66587, bitwise: 2808)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_and (gas: ~3142)
steps: 697159
memory holes: 168986
builtins: (range_check: 78533, bitwise: 3849)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_add (gas: ~3248)
steps: 715693
memory holes: 164526
builtins: (range_check: 81190, bitwise: 3956)
syscalls: ()
[PASS] riscairo_tests::rust_tests::test_find_max_cpu_10 (gas: ~3610)
steps: 864085
memory holes: 170277
builtins: (range_check: 90232, bitwise: 3584)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_sll (gas: ~3447)
steps: 766742
memory holes: 173526
builtins: (range_check: 86155, bitwise: 4928)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_slt (gas: ~3244)
steps: 716928
memory holes: 163632
builtins: (range_check: 81098, bitwise: 4052)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_sra (gas: ~3550)
steps: 788375
memory holes: 179700
builtins: (range_check: 88739, bitwise: 6478)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_ma_data (gas: ~4297)
steps: 939676
memory holes: 144151
builtins: (range_check: 107406, bitwise: 3338)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_lhu (gas: ~3757)
steps: 813407
memory holes: 104810
builtins: (range_check: 93905, bitwise: 2357)
syscalls: ()
[PASS] riscairo_tests::rust_tests::test_fibonacci_cpu_40 (gas: ~3915)
steps: 931548
memory holes: 217362
builtins: (range_check: 97875, bitwise: 4878)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_simple (gas: ~1778)
steps: 383238
memory holes: 25796
builtins: (range_check: 44448, bitwise: 604)
syscalls: ()
[PASS] riscairo_tests::rust_tests::test_fibonacci_cpu_20 (gas: ~3718)
steps: 888188
memory holes: 185882
builtins: (range_check: 92935, bitwise: 4038)
syscalls: ()
[PASS] riscairo_tests::rust_tests::test_fibonacci_cpu_30 (gas: ~3817)
steps: 909868
memory holes: 201622
builtins: (range_check: 95405, bitwise: 4458)
syscalls: ()
[PASS] riscairo_tests::rust_tests::test_array_reverse_cpu_10 (gas: ~3655)
steps: 872675
memory holes: 174882
builtins: (range_check: 91353, bitwise: 3707)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_jal (gas: ~1885)
steps: 407410
memory holes: 30780
builtins: (range_check: 47113, bitwise: 719)
syscalls: ()
[PASS] riscairo_tests::rust_tests::test_array_reverse_local_50 (gas: ~15)
steps: 4032
memory holes: 13
builtins: (range_check: 356)
syscalls: ()
[PASS] riscairo_tests::rust_tests::test_find_max_cpu_50 (gas: ~4247)
steps: 1004169
memory holes: 276197
builtins: (range_check: 106152, bitwise: 6344)
syscalls: ()
[PASS] riscairo_tests::rust_tests::test_find_max_cpu_100 (gas: ~5046)
steps: 1180083
memory holes: 409227
builtins: (range_check: 126146, bitwise: 9806)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_bne (gas: ~2652)
steps: 580172
memory holes: 109663
builtins: (range_check: 66281, bitwise: 2734)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_andi (gas: ~2326)
steps: 507965
memory holes: 77247
builtins: (range_check: 58128, bitwise: 1839)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_lw (gas: ~3795)
steps: 822175
memory holes: 105371
builtins: (range_check: 94870, bitwise: 2377)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_jalr (gas: ~2074)
steps: 450206
memory holes: 50082
builtins: (range_check: 51838, bitwise: 1170)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_auipc (gas: ~1873)
steps: 404767
memory holes: 31651
builtins: (range_check: 46804, bitwise: 729)
syscalls: ()
[PASS] riscairo_tests::rust_tests::test_array_reverse_cpu_100 (gas: ~5681)
steps: 1308103
memory holes: 480162
builtins: (range_check: 142023, bitwise: 11897)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_bge (gas: ~2742)
steps: 600195
memory holes: 113860
builtins: (range_check: 68541, bitwise: 2991)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_srli (gas: ~2631)
steps: 573550
memory holes: 94354
builtins: (range_check: 65756, bitwise: 2559)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_or (gas: ~3167)
steps: 703148
memory holes: 170171
builtins: (range_check: 79173, bitwise: 3865)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_lb (gas: ~3697)
steps: 799522
memory holes: 97529
builtins: (range_check: 92407, bitwise: 2305)
syscalls: ()
[PASS] riscairo_tests::rust_tests::test_array_reverse_local_100 (gas: ~29)
steps: 7932
memory holes: 13
builtins: (range_check: 706)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_ori (gas: ~2335)
steps: 510239
memory holes: 79342
builtins: (range_check: 58362, bitwise: 1867)
syscalls: ()
[PASS] riscairo_tests::rust_tests::test_fibonacci_local_20 (gas: ~4)
steps: 583
memory holes: 13
builtins: (range_check: 85)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_sltu (gas: ~3238)
steps: 714472
memory holes: 162516
builtins: (range_check: 80934, bitwise: 3948)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_bgeu (gas: ~2771)
steps: 607918
memory holes: 123433
builtins: (range_check: 69253, bitwise: 2901)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_sb (gas: ~4305)
steps: 937379
memory holes: 166598
builtins: (range_check: 107613, bitwise: 3949)
syscalls: ()
[PASS] riscairo_tests::rust_tests::test_array_reverse_cpu_50 (gas: ~4555)
steps: 1066203
memory holes: 310562
builtins: (range_check: 113873, bitwise: 7347)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_beq (gas: ~2652)
steps: 580090
memory holes: 109684
builtins: (range_check: 66279, bitwise: 2730)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_bltu (gas: ~2673)
steps: 585742
memory holes: 116955
builtins: (range_check: 66819, bitwise: 2730)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_lh (gas: ~3744)
steps: 810842
memory holes: 101945
builtins: (range_check: 93599, bitwise: 2369)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_addi (gas: ~2551)
steps: 558268
memory holes: 92256
builtins: (range_check: 63767, bitwise: 2207)
syscalls: ()
[PASS] riscairo_tests::rust_tests::test_fibonacci_cpu_10 (gas: ~3619)
steps: 866508
memory holes: 170142
builtins: (range_check: 90465, bitwise: 3618)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_xori (gas: ~2338)
steps: 510909
memory holes: 79920
builtins: (range_check: 58434, bitwise: 1875)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_sltiu (gas: ~2523)
steps: 551243
memory holes: 90456
builtins: (range_check: 63051, bitwise: 2195)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_sh (gas: ~4446)
steps: 970225
memory holes: 181088
builtins: (range_check: 111147, bitwise: 4194)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_srl (gas: ~3542)
steps: 780111
memory holes: 177633
builtins: (range_check: 88535, bitwise: 4904)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_sub (gas: ~3232)
steps: 711532
memory holes: 162214
builtins: (range_check: 80777, bitwise: 3900)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_xor (gas: ~3166)
steps: 701963
memory holes: 169783
builtins: (range_check: 79131, bitwise: 3861)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_fence_i (gas: ~3552)
steps: 763157
memory holes: 110241
builtins: (range_check: 88794, bitwise: 2921)
syscalls: ()
[PASS] riscairo_tests::riscv_compliance_tests::test_cpu_lbu (gas: ~3697)
steps: 799210
memory holes: 97721
builtins: (range_check: 92407, bitwise: 2257)
syscalls: ()
Tests: 59 passed, 0 failed, 0 skipped, 0 ignored, 0 filtered out