Skip to content
Build and run tests (Linux)

verific: Add test of accurate semantics in memory inference #2186

Sign in to view logs

verific: Add test of accurate semantics in memory inference

verific: Add test of accurate semantics in memory inference #2186

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-linux (ubuntu-20.04, focal, clang-12, c++11)
14m 10s
test-linux (ubuntu-20.04, focal, clang-12, c++14)
19m 22s
test-linux (ubuntu-20.04, focal, clang-12, c++17)
14m 7s
test-linux (ubuntu-20.04, focal, clang-12, c++20)
14m 15s
test-linux (ubuntu-20.04, focal, gcc-11, c++11)
30m 43s
test-linux (ubuntu-20.04, focal, gcc-11, c++14)
18m 19s
test-linux (ubuntu-20.04, focal, gcc-11, c++17)
16m 46s
test-linux (ubuntu-20.04, focal, gcc-11, c++20)
18m 23s
test-linux (ubuntu-20.04, focal, clang-11, c++11)
14m 3s
test-linux (ubuntu-20.04, focal, gcc-10, c++11)
14m 39s
2h 54m 47s