Skip to content
Build and run tests (Linux)

rewrite smtlib pass to use SExpr class #3542

Sign in to view logs

rewrite smtlib pass to use SExpr class

rewrite smtlib pass to use SExpr class #3542

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-linux (ubuntu-20.04, focal, clang-12, c++11)
3m 1s
test-linux (ubuntu-20.04, focal, clang-12, c++14)
3m 29s
test-linux (ubuntu-20.04, focal, clang-12, c++17)
13m 16s
test-linux (ubuntu-20.04, focal, clang-12, c++20)
14m 58s
test-linux (ubuntu-20.04, focal, gcc-11, c++11)
3m 47s
test-linux (ubuntu-20.04, focal, gcc-11, c++14)
3m 12s
test-linux (ubuntu-20.04, focal, gcc-11, c++17)
12m 43s
test-linux (ubuntu-20.04, focal, gcc-11, c++20)
12m 55s
test-linux (ubuntu-20.04, focal, clang-11, c++11)
3m 27s
test-linux (ubuntu-20.04, focal, gcc-10, c++11)
2m 30s
1h 13m 18s