Skip to content
Build and run tests (Linux)

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

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… #3543

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-linux (ubuntu-20.04, focal, clang-12, c++11)
50s
test-linux (ubuntu-20.04, focal, clang-12, c++14)
51s
test-linux (ubuntu-20.04, focal, clang-12, c++17)
10m 52s
test-linux (ubuntu-20.04, focal, clang-12, c++20)
11m 52s
test-linux (ubuntu-20.04, focal, gcc-11, c++11)
1m 42s
test-linux (ubuntu-20.04, focal, gcc-11, c++14)
1m 40s
test-linux (ubuntu-20.04, focal, gcc-11, c++17)
10m 51s
test-linux (ubuntu-20.04, focal, gcc-11, c++20)
11m 25s
test-linux (ubuntu-20.04, focal, clang-11, c++11)
43s
test-linux (ubuntu-20.04, focal, gcc-10, c++11)
40s
51m 26s