Skip to content
Test external projects

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

Sign in to view logs

fix: handle stack underflows in DUPn/SWAPn instructions

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

Triggered via push January 10, 2025 19:01
@0xkarmacoma0xkarmacoma
pushed 606ac51
main
Status Failure
Total duration 18m 49s
Artifacts –

test-external.yml

on: push
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 20 warnings
test (--cache-solver, a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 25...
Process completed with exit code 1.
test (a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 256 --solver-comma...
Process completed with exit code 1.
test (--cache-solver, a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop...
Process completed with exit code 1.
test (a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop 256 --solver-co...
Process completed with exit code 1.
test (--cache-solver, a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 25...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test (a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 256 --solver-comma...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test (--cache-solver, a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test (a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop 256 --solver-co...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test (farcasterxyz/contracts, farcaster-contracts, --solver-command yices-smt2 --solver-threads 3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test (--cache-solver, farcasterxyz/contracts, farcaster-contracts, --solver-command yices-smt2 --...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test (zobront/halmos-solady, halmos-solady, --function testCheck --solver-command yices-smt2 --so...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC20TestHalmos --sol...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test (morpho-org/morpho-data-structures, morpho-data-structures, --function testProve --loop 4 --...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test (--cache-solver, morpho-org/morpho-data-structures, morpho-data-structures, --function testP...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC20...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC721TestHalmos --so...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC72...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test (--cache-solver, morpho-org/morpho-blue, morpho-blue, --solver-command yices-smt2 --solver-t...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test (morpho-org/morpho-blue, morpho-blue, --solver-command yices-smt2 --solver-threads 3, test)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract MathTestHalmos --solv...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract MathT...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC1155TestHalmos --s...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC11...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test (--cache-solver, zobront/halmos-solady, halmos-solady, --function testCheck --solver-command...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636