Skip to content
Build and Test CBMC

full_slicer: do not remove ASSUME false #13621

Sign in to view logs

full_slicer: do not remove ASSUME false

full_slicer: do not remove ASSUME false #13621

Triggered via pull request November 13, 2026 09:01
@tautschnigtautschnig
opened #9470
tautschnig:fix/full-slice-assume-false
Status Failure
Total duration 1h 16m 13s
Artifacts –

pull-request-checks.yaml

on: pull_request
check-ubuntu-24_04-cmake-gcc
33m 5s
check-ubuntu-24_04-cmake-gcc
check-ubuntu-24_04-make-gcc
34m 10s
check-ubuntu-24_04-make-gcc
check-ubuntu-24_04-make-clang
25m 3s
check-ubuntu-24_04-make-clang
check-ubuntu-24_04-make-clang-smt-z3
6m 50s
check-ubuntu-24_04-make-clang-smt-z3
check-ubuntu-22_04-make-clang
15m 41s
check-ubuntu-22_04-make-clang
check-ubuntu-22_04-cmake-gcc
12m 11s
check-ubuntu-22_04-cmake-gcc
check-ubuntu-24_04-cmake-gcc-14
12m 3s
check-ubuntu-24_04-cmake-gcc-14
check-ubuntu-24_04-arm-cmake-gcc
11m 7s
check-ubuntu-24_04-arm-cmake-gcc
check-ubuntu-22_04-cmake-gcc-32bit
14m 39s
check-ubuntu-22_04-cmake-gcc-32bit
check-macos-15-intel-make-clang
46m 57s
check-macos-15-intel-make-clang
check-macos-26-cmake-clang
12m 48s
check-macos-26-cmake-clang
check-vs-2026-cmake-build-and-test
25m 26s
check-vs-2026-cmake-build-and-test
check-vs-2022-make-build-and-test
8m 17s
check-vs-2022-make-build-and-test
windows-msi-package
4m 52s
windows-msi-package
check-string-table
1m 38s
check-string-table
check-docker-image
3m 9s
check-docker-image
include-what-you-use
17m 5s
include-what-you-use
check-ubuntu-24_04-cmake-gcc-KNOWNBUG
3m 9s
check-ubuntu-24_04-cmake-gcc-KNOWNBUG
check-ubuntu-24_04-cmake-gcc-THOROUGH
12m 17s
check-ubuntu-24_04-cmake-gcc-THOROUGH
Fit to window
Zoom out
Zoom in

Annotations

2 errors, 2 warnings, and 4 notices
check-vs-2022-make-build-and-test
Process completed with exit code 1.
check-vs-2026-cmake-build-and-test
Process completed with exit code 1.
check-vs-2022-make-build-and-test
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: ilammy/msvc-dev-cmd@v1. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
check-vs-2026-cmake-build-and-test
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: ilammy/msvc-dev-cmd@v1. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
check-string-table
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
check-docker-image
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
include-what-you-use
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
check-macos-26-cmake-clang
Due to capacity constraints, jobs targeting macOS arm64 runners may experience longer queue times.