Skip to content

Fix non-exhaustive warnings on gas related rules #8398

Fix non-exhaustive warnings on gas related rules

Fix non-exhaustive warnings on gas related rules #8398

Annotations

1 warning

Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)

succeeded Mar 7, 2024 in 49m 7s