Skip to content
Full C/C++ CI

cbmc: better set.find_range test #175

Sign in to view logs

cbmc: better set.find_range test

cbmc: better set.find_range test #175

Run time

Learn about OS pricing on GitHub Actions
Job Run time
windows
1m 3s
macOS
4m 37s
full (lscpu)
2s
full (make -j4 O0=1 SANITIZE=1 LONG=1)
6m 48s
full (make -j4 O1=1 SANITIZE=1 LONG=1)
5m 26s
full (make -j4 Os=1 SANITIZE=1 LONG=1)
6m 19s
full (make -j4 O2=1 SANITIZE=1)
4m 5s
full (make -j4 O3=1 SANITIZE=1)
5m 54s
full (make -j4 Ofast=1 SANITIZE=1)
5m 59s
full (make -j4 O0=1 LONG=1)
1m 36s
full (make -j4 O1=1 LONG=1)
1m 5s
full (make -j4 O2=1 LONG=1)
1m 28s
full (make -j4 O3=1 LONG=1)
1m 50s
full (make -j4 Os=1 LONG=1)
1m 18s
full (make -j4 Ofast=1 LONG=1)
1m 46s
full (make -j4 CC=gcc\ -std=c99)
1m 13s
full (make -j4 CC=gcc\ -std=c11)
1m 12s
full (make -j4 CC='clang -std=c11' CXX='clang++-11 -stdlib=libc++')
2m 19s
full (make -j4 CXX='clang++-11 -std=c++2a -stdlib=libc++')
2m 24s
full (make examples SANITIZE=1)
18s
full (make perf)
42s
57m 24s