Skip to content
Builds, tests & co

Fixed bug with assume stmts crashing due to existentials; skolemizing… #243

Sign in to view logs

Fixed bug with assume stmts crashing due to existentials; skolemizing…

Fixed bug with assume stmts crashing due to existentials; skolemizing… #243

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (macos-latest, 5.1)
9m 35s
build (ubuntu-latest, 5.1)
17m 44s
27m 19s