Skip to content
Test Z3

optimize Expr.equal, cache Expr.simplify #451

Sign in to view logs

optimize Expr.equal, cache Expr.simplify

optimize Expr.equal, cache Expr.simplify #451

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-z3
14m 41s
14m 41s