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 (ubuntu-latest, 3.11, --test-parallel, generic)

succeeded Sep 24, 2024 in 5m 31s