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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Prepare
0s
Profiling
0s
on-failure
0s
on-success
0s
0s