Skip to content
Back to pull request #33

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

Sign in to view logs

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

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

test (zobront/halmos-solady, halmos-solady, halmos --function testCheck)

test (zobront/halmos-solady, halmos-solady, halmos --function testCheck)
succeeded Apr 11, 2024 in 1m 21s