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

succeeded Sep 24, 2024 in 7m 39s