Skip to content

fix: handle stack underflows in DUPn/SWAPn instructions #502

fix: handle stack underflows in DUPn/SWAPn instructions

fix: handle stack underflows in DUPn/SWAPn instructions #502

Annotations

1 error and 1 warning

test (a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 256 --solver-comma...

failed Jan 10, 2025 in 45s