Skip to content
Build and run tests (Linux)

Add test for SMT backend. Tests if SMT is valid and compares simulati… #3513

Sign in to view logs

Add test for SMT backend. Tests if SMT is valid and compares simulati…

Add test for SMT backend. Tests if SMT is valid and compares simulati… #3513

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-linux (ubuntu-20.04, focal, clang-12, c++11)
41s
test-linux (ubuntu-20.04, focal, clang-12, c++14)
1m 3s
test-linux (ubuntu-20.04, focal, clang-12, c++17)
11m 1s
test-linux (ubuntu-20.04, focal, clang-12, c++20)
11m 43s
test-linux (ubuntu-20.04, focal, gcc-11, c++11)
1m 2s
test-linux (ubuntu-20.04, focal, gcc-11, c++14)
41s
test-linux (ubuntu-20.04, focal, gcc-11, c++17)
10m 28s
test-linux (ubuntu-20.04, focal, gcc-11, c++20)
10m 43s
test-linux (ubuntu-20.04, focal, clang-11, c++11)
58s
test-linux (ubuntu-20.04, focal, gcc-10, c++11)
38s
48m 58s