File tree
35 files changed
+1053
-364
lines changed- crates
- anvil
- core/src/eth
- src/eth
- backend/mem
- otterscan
- cast/tests/cli
- common
- src
- config/src
- evm
- coverage/src
- evm
- src
- executors
- fuzz
- invariant
- inspectors
- fuzz/src
- invariant
- forge
- src
- cmd
- tests
- cli
- it
35 files changed
+1053
-364
lines changedLines changed: 20 additions & 18 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 8 additions & 6 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
239 | 239 |
| |
240 | 240 |
| |
241 | 241 |
| |
242 |
| - | |
243 |
| - | |
244 |
| - | |
| 242 | + | |
| 243 | + | |
| 244 | + | |
245 | 245 |
| |
246 | 246 |
| |
247 | 247 |
| |
248 | 248 |
| |
249 | 249 |
| |
250 |
| - | |
251 |
| - | |
252 |
| - | |
| 250 | + | |
| 251 | + | |
| 252 | + | |
253 | 253 |
| |
254 | 254 |
| |
255 | 255 |
| |
| |||
349 | 349 |
| |
350 | 350 |
| |
351 | 351 |
| |
| 352 | + | |
| 353 | + | |
352 | 354 |
| |
353 | 355 |
| |
354 | 356 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
84 | 84 |
| |
85 | 85 |
| |
86 | 86 |
| |
87 |
| - | |
| 87 | + | |
88 | 88 |
| |
89 | 89 |
| |
90 | 90 |
| |
|
Lines changed: 4 additions & 43 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
52 | 52 |
| |
53 | 53 |
| |
54 | 54 |
| |
| 55 | + | |
55 | 56 |
| |
56 | 57 |
| |
57 | 58 |
| |
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 |
| - | |
| 59 | + | |
| 60 | + | |
83 | 61 |
| |
84 | 62 |
| |
85 | 63 |
| |
86 | 64 |
| |
87 | 65 |
| |
88 | 66 |
| |
89 |
| - | |
| 67 | + | |
90 | 68 |
| |
91 | 69 |
| |
92 |
| - | |
93 |
| - | |
94 |
| - | |
95 |
| - | |
96 |
| - | |
97 |
| - | |
98 |
| - | |
99 |
| - | |
100 |
| - | |
101 |
| - | |
102 |
| - | |
103 |
| - | |
104 |
| - | |
105 |
| - | |
106 |
| - | |
107 |
| - | |
108 |
| - | |
109 | 70 |
|
Lines changed: 0 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
24 | 24 |
| |
25 | 25 |
| |
26 | 26 |
| |
27 |
| - | |
28 | 27 |
| |
29 | 28 |
| |
30 | 29 |
| |
| |||
516 | 515 |
| |
517 | 516 |
| |
518 | 517 |
| |
519 |
| - | |
520 |
| - | |
521 |
| - | |
522 |
| - | |
523 | 518 |
| |
524 | 519 |
| |
525 | 520 |
| |
|
Lines changed: 17 additions & 67 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
15 | 15 |
| |
16 | 16 |
| |
17 | 17 |
| |
18 |
| - | |
19 |
| - | |
20 |
| - | |
21 |
| - | |
| 18 | + | |
22 | 19 |
| |
23 | 20 |
| |
24 | 21 |
| |
25 |
| - | |
26 |
| - | |
27 | 22 |
| |
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 |
| - | |
| 23 | + | |
85 | 24 |
| |
86 | 25 |
| |
87 | 26 |
| |
| |||
126 | 65 |
| |
127 | 66 |
| |
128 | 67 |
| |
| 68 | + | |
| 69 | + | |
| 70 | + | |
129 | 71 |
| |
130 | 72 |
| |
131 |
| - | |
132 |
| - | |
| 73 | + | |
| 74 | + | |
| 75 | + | |
| 76 | + | |
| 77 | + | |
| 78 | + | |
| 79 | + | |
| 80 | + | |
133 | 81 |
| |
134 | 82 |
| |
135 | 83 |
| |
| |||
220 | 168 |
| |
221 | 169 |
| |
222 | 170 |
| |
223 |
| - | |
| 171 | + | |
| 172 | + | |
224 | 173 |
| |
225 | 174 |
| |
226 | 175 |
| |
| |||
267 | 216 |
| |
268 | 217 |
| |
269 | 218 |
| |
270 |
| - | |
| 219 | + | |
| 220 | + | |
271 | 221 |
| |
272 | 222 |
| |
273 | 223 |
| |
|
0 commit comments