Skip to content
KEVM Performance Test

Misinterpretation of stuck result for #assume(false) as depth-bound(0) #607

Sign in to view logs

Misinterpretation of stuck result for #assume(false) as depth-bound(0)

Misinterpretation of stuck result for #assume(false) as depth-bound(0) #607

Triggered via issue August 2, 2023 12:07
@jbertholdjberthold
commented on #3633 3cfcc04
Status Skipped
Total duration 5s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

kevm-performance-test.yaml

on: issue_comment
Prepare
0s
Prepare
Profiling
0s
Profiling
on-success
0s
on-success
on-failure
0s
on-failure
Fit to window
Zoom out
Zoom in