Skip to content

chore: update halmos.toml example + add missing tests #1008

chore: update halmos.toml example + add missing tests

chore: update halmos.toml example + add missing tests #1008

test (macos-latest, 3.12, solidity)

succeeded Sep 24, 2024 in 2m 23s