Skip to content
CI

CBMC: Add prove and spec for adrs_set_hash_address #75

Sign in to view logs

CBMC: Add prove and spec for adrs_set_hash_address

CBMC: Add prove and spec for adrs_set_hash_address #75

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Base / Quickcheck C90 (aarch64)
1m 16s
Base / Quickcheck C90 (x86_64)
2m 59s
Base / Quickcheck (x86_64, ACVP v1.1.0.40)
3m 6s
Base / Quickcheck (aarch64, ACVP v1.1.0.40)
1m 16s
Base / Quickcheck (macos (x86_64), ACVP v1.1.0.40)
3m 34s
Base / Quickcheck (x86_64, ACVP v1.1.0.39)
3m 2s
Base / Quickcheck (macos (x86_64), ACVP v1.1.0.39)
4m 3s
Base / Quickcheck (aarch64, ACVP v1.1.0.39)
1m 18s
Base / Quickcheck (macos (aarch64), ACVP v1.1.0.40)
1m 40s
Base / Quickcheck (macos (aarch64), ACVP v1.1.0.39)
2m 15s
Nix / check_modified_files
5s
Nix / nix setup test (${{ matrix.target.container != '' && matrix.target.container || matrix.target.runner }}, nix via ${{ matrix.target.install }})
0s
Nix / build nix cache (${{ matrix.runner }})
0s
CBMC / CBMC
2m 17s
Extended / Compiler tests (gcc-13, aarch64, -Os)
6m 9s
Extended / Compiler tests (gcc-4.8, x86_64, -Os)
12m 14s
Extended / Compiler tests (clang-18, aarch64, -Os)
6m 1s
Extended / Compiler tests (clang-20, aarch64, -Os)
4m 13s
Extended / Compiler tests (gcc-11, aarch64, -Os)
6m 12s
Extended / Compiler tests (gcc-11, x86_64, -Os)
9m 49s
Extended / Compiler tests (gcc-14, aarch64, -Os)
4m 28s
Extended / Compiler tests (gcc-4.9, x86_64, -Os)
9m 50s
Extended / Compiler tests (gcc-13, x86_64, -Os)
10m 19s
Extended / Compiler tests (clang-19, x86_64, -Os)
9m 27s
Extended / Compiler tests (clang-19, aarch64, -Os)
4m 22s
Extended / Compiler tests (clang-18, x86_64, -Os)
9m 29s
Extended / Compiler tests (gcc-14, x86_64, -Os)
10m 13s
Extended / Compiler tests (gcc-11, macos, -Os)
7m 42s
Extended / Compiler tests (gcc-7, x86_64, -Os)
9m 59s
Extended / Compiler tests (clang-18, aarch64, -O3)
5m 41s
Extended / Compiler tests (gcc-13, macos, -Os)
8m 13s
Extended / Compiler tests (gcc-11, aarch64, -O3)
4m 11s
Extended / Compiler tests (clang-19, aarch64, -O3)
5m 40s
Extended / Compiler tests (clang-19, macos, -Os)
7m 49s
Extended / Compiler tests (gcc-14, aarch64, -O3)
4m 4s
Extended / Compiler tests (gcc-14, macos, -Os)
8m 34s
Extended / Compiler tests (gcc-4.8, x86_64, -O3)
10m 37s
Extended / Compiler tests (clang-20, aarch64, -O3)
4m 8s
Extended / Compiler tests (gcc-4.9, x86_64, -O3)
9m 22s
Extended / Compiler tests (gcc-13, x86_64, -O3)
9m 24s
Extended / Compiler tests (gcc-11, x86_64, -O3)
8m 59s
Extended / Compiler tests (gcc-7, x86_64, -O3)
9m 15s
Extended / Compiler tests (clang-19, x86_64, -O3)
9m 26s
Extended / Compiler tests (clang-20, macos, -Os)
11m 28s
Extended / Compiler tests (gcc-14, x86_64, -O3)
9m 20s
Extended / Compiler tests (clang-18, macos, -O3)
6m 43s
Extended / Compiler tests (gcc-11, macos, -O3)
6m 53s
Extended / Compiler tests (clang-18, x86_64, -O3)
9m 21s
Extended / Compiler tests (clang-20, x86_64, -Os)
9m 25s
Extended / Compiler tests (gcc-14, macos, -O3)
7m 37s
Extended / Compiler tests (gcc-13, macos, -O3)
7m 5s
Extended / Compiler tests (clang-20, x86_64, -O3)
9m 20s
Extended / Compiler tests (clang-19, macos, -O3)
8m 22s
Extended / Compiler tests (clang-18, macos, -Os)
7m 9s
Extended / Compiler tests (clang-20, macos, -O3)
7m 12s
Extended / Compiler tests (gcc-13, aarch64, -O3)
4m 14s
5h 56m 50s