Skip to content
Test external projects

fix: avoid raising internal python error on large memory access (#442) #504

Sign in to view logs

fix: avoid raising internal python error on large memory access (#442)

fix: avoid raising internal python error on large memory access (#442) #504

Annotations

1 warning

test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC20TestHalmos --sol...

test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC20TestHalmos --sol...
succeeded Jan 16, 2025 in 2m 47s