8000 perf: increase default assertion solving timeout from 1s to 1m by daejunpark · Pull Request #368 · a16z/halmos · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

perf: increase default assertion solving timeout from 1s to 1m#368

Merged
daejunpark merged 2 commits intomainfrom
perf/increase-default-assertion-solving-timeout
Sep 23, 2024

Commits

Commits on Sep 21, 2024

Commits on Sep 23, 2024
0