Skip to content

fix: check infeasible errors (#445) #510

fix: check infeasible errors (#445)

fix: check infeasible errors (#445) #510

Annotations

1 warning

test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract MathTestHalmos --solv...

succeeded Jan 22, 2025 in 8m 8s