Skip to content
Build and run tests (macOS)

change smtlib backend to use list() function instead of SExpr{} const… #3545

Sign in to view logs

change smtlib backend to use list() function instead of SExpr{} const…

change smtlib backend to use list() function instead of SExpr{} const… #3545

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-macos (macos-13, Ventura, c++11)
49s
test-macos (macos-13, Ventura, c++17)
9m 30s
10m 19s