Skip to content
Test external projects

update solvers and halmos-builder dockerfiles (#404) #471

Sign in to view logs

update solvers and halmos-builder dockerfiles (#404)

update solvers and halmos-builder dockerfiles (#404) #471

Annotations

1 error

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

test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC20...
failed Nov 8, 2024 in 21s