Skip to content
Full C/C++ CI

cbmc: add set-1.c verification #174

Sign in to view logs

cbmc: add set-1.c verification

cbmc: add set-1.c verification #174

Run time

Learn about OS pricing on GitHub Actions
Job Run time
macOS
3m 42s
windows
1m 32s
full (lscpu)
3s
full (make -j4 O0=1 SANITIZE=1 LONG=1)
6m 9s
full (make -j4 O1=1 SANITIZE=1 LONG=1)
5m 32s
full (make -j4 Os=1 SANITIZE=1 LONG=1)
5m 43s
full (make -j4 O2=1 SANITIZE=1)
3m 59s
full (make -j4 O3=1 SANITIZE=1)
5m 58s
full (make -j4 Ofast=1 SANITIZE=1)
6m 14s
full (make -j4 O0=1 LONG=1)
1m 53s
full (make -j4 O1=1 LONG=1)
1m 7s
full (make -j4 O2=1 LONG=1)
1m 46s
full (make -j4 O3=1 LONG=1)
1m 37s
full (make -j4 Os=1 LONG=1)
1m 15s
full (make -j4 Ofast=1 LONG=1)
1m 45s
full (make -j4 CC=gcc\ -std=c99)
1m 13s
full (make -j4 CC=gcc\ -std=c11)
1m 18s
full (make -j4 CC='clang -std=c11' CXX='clang++-11 -stdlib=libc++')
2m 15s
full (make -j4 CXX='clang++-11 -std=c++2a -stdlib=libc++')
2m 14s
full (make examples SANITIZE=1)
15s
full (make perf)
40s
56m 10s