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 (a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop 256)

test (a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop 256)
failed Nov 8, 2024 in 21s