Skip to content
Test long

feat: --solver-command lets user replace z3 invocations #48

Sign in to view logs

feat: --solver-command lets user replace z3 invocations

feat: --solver-command lets user replace z3 invocations #48

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test (tests/solver)
10m 48s
test (examples/simple)
15m 55s
test (examples/tokens/ERC20)
13m 30s
test (examples/tokens/ERC721)
12m 33s
52m 46s