feat[venom]: add loop invariant hoisting pass #11182
HodanPlodkytest.yml
on: pull_request
slow-tests-success
0s
core-tests-success
0s
upload-coverage
0s
Annotations
112 errors
|
lint
Process completed with exit code 1.
|
|
fuzzing (2)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (2)
The operation was canceled.
|
|
fuzzing (8)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (52)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (52)
The operation was canceled.
|
|
windows-py311-opt-gas-cancun-revm
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
windows-py311-opt-gas-cancun-revm
The operation was canceled.
|
|
fuzzing (104)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (104)
The operation was canceled.
|
|
fuzzing (1)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (1)
The operation was canceled.
|
|
py311-opt-gas-shanghai-revm
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
py311-opt-gas-shanghai-revm
The operation was canceled.
|
|
fuzzing (98)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (98)
The operation was canceled.
|
|
py311-opt-gas-paris-revm
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
py311-opt-gas-paris-revm
The operation was canceled.
|
|
fuzzing (88)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (88)
The operation was canceled.
|
|
fuzzing (93)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (93)
The operation was canceled.
|
|
fuzzing (78)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (78)
The operation was canceled.
|
|
fuzzing (100)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (100)
The operation was canceled.
|
|
py311-opt-gas-debug-cancun-revm
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
py311-opt-gas-debug-cancun-revm
The operation was canceled.
|
|
py311-opt-codesize-experimental-cancun-revm
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
py311-opt-codesize-experimental-cancun-revm
The operation was canceled.
|
|
fuzzing (89)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (89)
The operation was canceled.
|
|
fuzzing (92)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (92)
The operation was canceled.
|
|
fuzzing (94)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (94)
The operation was canceled.
|
|
py311-opt-gas-experimental-cancun-revm
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
py311-opt-gas-experimental-cancun-revm
The operation was canceled.
|
|
py311-opt-gas-cancun-revm
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
py311-opt-gas-cancun-revm
The operation was canceled.
|
|
fuzzing (90)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (90)
The operation was canceled.
|
|
fuzzing (115)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (115)
The operation was canceled.
|
|
py311-opt-gas-london-revm
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
py311-opt-gas-london-revm
The operation was canceled.
|
|
fuzzing (97)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (97)
The operation was canceled.
|
|
py311-opt-none-experimental-cancun-revm
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
py311-opt-none-experimental-cancun-revm
The operation was canceled.
|
|
py311-opt-none-cancun-revm
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
py311-opt-none-cancun-revm
The operation was canceled.
|
|
fuzzing (91)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (91)
The operation was canceled.
|
|
fuzzing (84)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (84)
The operation was canceled.
|
|
py313-opt-gas-cancun-revm
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
py313-opt-gas-cancun-revm
The operation was canceled.
|
|
py311-opt-gas-shanghai-py-evm
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
py311-opt-gas-shanghai-py-evm
The operation was canceled.
|
|
fuzzing (109)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (109)
The operation was canceled.
|
|
fuzzing (119)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (119)
The operation was canceled.
|
|
py311-opt-gas-cancun-py-evm
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
py311-opt-gas-cancun-py-evm
The operation was canceled.
|
|
fuzzing (120)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (120)
The operation was canceled.
|
|
fuzzing (108)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (108)
The operation was canceled.
|
|
py311-opt-none-shanghai-revm
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
py311-opt-none-shanghai-revm
The operation was canceled.
|
|
fuzzing (117)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (117)
The operation was canceled.
|
|
fuzzing (105)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (105)
The operation was canceled.
|
|
fuzzing (116)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (116)
The operation was canceled.
|
|
fuzzing (77)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (77)
The operation was canceled.
|
|
fuzzing (99)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (99)
The operation was canceled.
|
|
py311-opt-codesize-debug-cancun-revm
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
py311-opt-codesize-debug-cancun-revm
The operation was canceled.
|
|
fuzzing (107)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (107)
The operation was canceled.
|
|
py311-opt-none-debug-cancun-revm
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
py311-opt-none-debug-cancun-revm
The operation was canceled.
|
|
fuzzing (95)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (95)
The operation was canceled.
|
|
fuzzing (68)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (68)
The operation was canceled.
|
|
py311-opt-codesize-cancun-revm
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
py311-opt-codesize-cancun-revm
The operation was canceled.
|
|
fuzzing (110)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (110)
The operation was canceled.
|
|
py312-opt-gas-cancun-revm
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
py312-opt-gas-cancun-revm
The operation was canceled.
|
|
py310-opt-gas-cancun-revm
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
py310-opt-gas-cancun-revm
The operation was canceled.
|
|
py311-opt-codesize-shanghai-revm
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
py311-opt-codesize-shanghai-revm
The operation was canceled.
|
|
fuzzing (101)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (101)
The operation was canceled.
|
|
fuzzing (111)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (111)
The operation was canceled.
|
|
fuzzing (118)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (118)
The operation was canceled.
|
|
fuzzing (80)
Canceling since a higher priority waiting request for 'Run test suite-loop_invariant' exists
|
|
fuzzing (80)
The operation was canceled.
|
|
core-tests-success
Process completed with exit code 1.
|
|
slow-tests-success
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
coverage-files-fuzzing-10
|
205 KB |
|
|
coverage-files-fuzzing-101
|
203 KB |
|
|
coverage-files-fuzzing-102
|
203 KB |
|
|
coverage-files-fuzzing-105
|
203 KB |
|
|
coverage-files-fuzzing-11
|
209 KB |
|
|
coverage-files-fuzzing-111
|
203 KB |
|
|
coverage-files-fuzzing-112
|
201 KB |
|
|
coverage-files-fuzzing-113
|
210 KB |
|
|
coverage-files-fuzzing-12
|
213 KB |
|
|
coverage-files-fuzzing-13
|
215 KB |
|
|
coverage-files-fuzzing-14
|
207 KB |
|
|
coverage-files-fuzzing-15
|
217 KB |
|
|
coverage-files-fuzzing-16
|
214 KB |
|
|
coverage-files-fuzzing-17
|
210 KB |
|
|
coverage-files-fuzzing-18
|
210 KB |
|
|
coverage-files-fuzzing-19
|
203 KB |
|
|
coverage-files-fuzzing-2
|
210 KB |
|
|
coverage-files-fuzzing-20
|
204 KB |
|
|
coverage-files-fuzzing-21
|
214 KB |
|
|
coverage-files-fuzzing-22
|
203 KB |
|
|
coverage-files-fuzzing-23
|
215 KB |
|
|
coverage-files-fuzzing-24
|
204 KB |
|
|
coverage-files-fuzzing-25
|
219 KB |
|
|
coverage-files-fuzzing-26
|
203 KB |
|
|
coverage-files-fuzzing-27
|
203 KB |
|
|
coverage-files-fuzzing-28
|
209 KB |
|
|
coverage-files-fuzzing-29
|
214 KB |
|
|
coverage-files-fuzzing-3
|
204 KB |
|
|
coverage-files-fuzzing-30
|
213 KB |
|
|
coverage-files-fuzzing-31
|
210 KB |
|
|
coverage-files-fuzzing-32
|
213 KB |
|
|
coverage-files-fuzzing-33
|
209 KB |
|
|
coverage-files-fuzzing-34
|
207 KB |
|
|
coverage-files-fuzzing-35
|
213 KB |
|
|
coverage-files-fuzzing-36
|
210 KB |
|
|
coverage-files-fuzzing-37
|
216 KB |
|
|
coverage-files-fuzzing-38
|
215 KB |
|
|
coverage-files-fuzzing-39
|
204 KB |
|
|
coverage-files-fuzzing-4
|
215 KB |
|
|
coverage-files-fuzzing-40
|
215 KB |
|
|
coverage-files-fuzzing-41
|
208 KB |
|
|
coverage-files-fuzzing-42
|
214 KB |
|
|
coverage-files-fuzzing-43
|
213 KB |
|
|
coverage-files-fuzzing-44
|
213 KB |
|
|
coverage-files-fuzzing-45
|
203 KB |
|
|
coverage-files-fuzzing-46
|
212 KB |
|
|
coverage-files-fuzzing-47
|
204 KB |
|
|
coverage-files-fuzzing-48
|
213 KB |
|
|
coverage-files-fuzzing-49
|
210 KB |
|
|
coverage-files-fuzzing-5
|
208 KB |
|
|
coverage-files-fuzzing-50
|
219 KB |
|
|
coverage-files-fuzzing-52
|
209 KB |
|
|
coverage-files-fuzzing-53
|
212 KB |
|
|
coverage-files-fuzzing-54
|
211 KB |
|
|
coverage-files-fuzzing-55
|
213 KB |
|
|
coverage-files-fuzzing-56
|
204 KB |
|
|
coverage-files-fuzzing-57
|
213 KB |
|
|
coverage-files-fuzzing-58
|
203 KB |
|
|
coverage-files-fuzzing-59
|
203 KB |
|
|
coverage-files-fuzzing-6
|
218 KB |
|
|
coverage-files-fuzzing-60
|
211 KB |
|
|
coverage-files-fuzzing-61
|
203 KB |
|
|
coverage-files-fuzzing-62
|
205 KB |
|
|
coverage-files-fuzzing-63
|
204 KB |
|
|
coverage-files-fuzzing-64
|
203 KB |
|
|
coverage-files-fuzzing-65
|
204 KB |
|
|
coverage-files-fuzzing-66
|
203 KB |
|
|
coverage-files-fuzzing-68
|
206 KB |
|
|
coverage-files-fuzzing-69
|
213 KB |
|
|
coverage-files-fuzzing-7
|
214 KB |
|
|
coverage-files-fuzzing-70
|
218 KB |
|
|
coverage-files-fuzzing-71
|
224 KB |
|
|
coverage-files-fuzzing-72
|
218 KB |
|
|
coverage-files-fuzzing-73
|
217 KB |
|
|
coverage-files-fuzzing-74
|
203 KB |
|
|
coverage-files-fuzzing-75
|
215 KB |
|
|
coverage-files-fuzzing-78
|
215 KB |
|
|
coverage-files-fuzzing-8
|
217 KB |
|
|
coverage-files-fuzzing-80
|
219 KB |
|
|
coverage-files-fuzzing-81
|
209 KB |
|
|
coverage-files-fuzzing-82
|
211 KB |
|
|
coverage-files-fuzzing-84
|
206 KB |
|
|
coverage-files-fuzzing-85
|
206 KB |
|
|
coverage-files-fuzzing-86
|
210 KB |
|
|
coverage-files-fuzzing-9
|
212 KB |
|
|
coverage-files-fuzzing-95
|
202 KB |
|
|
coverage-files-tests-20
|
417 KB |
|