Skip to content
Test external projects

fix: smt encoding for evm div-by-zero (#271) #391

Sign in to view logs

fix: smt encoding for evm div-by-zero (#271)

fix: smt encoding for evm div-by-zero (#271) #391

test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml, halmos)

test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml, halmos)
succeeded Aug 14, 2024 in 24m 48s