Skip to content
Build and Test CBMC

Use goto-analyzer to add assumptions, assertions and code contracts #8913

Sign in to view logs

Use goto-analyzer to add assumptions, assertions and code contracts

Use goto-analyzer to add assumptions, assertions and code contracts #8913

Triggered via pull request October 17, 2023 07:51
@martin-csmartin-cs
opened #7964
martin-cs:feature/goto-analyzer-instrument-task
Status Failure
Total duration 31m 54s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

pull-request-checks.yaml

on: pull_request
check-ubuntu-20_04-make-gcc
5m 5s
check-ubuntu-20_04-make-gcc
check-ubuntu-20_04-make-clang
4m 37s
check-ubuntu-20_04-make-clang
check-ubuntu-20_04-make-clang-smt-z3
6m 8s
check-ubuntu-20_04-make-clang-smt-z3
check-ubuntu-20_04-cmake-gcc
6m 7s
check-ubuntu-20_04-cmake-gcc
check-ubuntu-22_04-make-clang
3m 23s
check-ubuntu-22_04-make-clang
check-ubuntu-22_04-cmake-gcc
5m 39s
check-ubuntu-22_04-cmake-gcc
check-ubuntu-22_04-cmake-gcc-13
2m 43s
check-ubuntu-22_04-cmake-gcc-13
check-ubuntu-22_04-cmake-gcc-32bit
3m 56s
check-ubuntu-22_04-cmake-gcc-32bit
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
3m 24s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
check-ubuntu-20_04-cmake-gcc-THOROUGH
4m 30s
check-ubuntu-20_04-cmake-gcc-THOROUGH
check-macos-11-make-clang
6m 12s
check-macos-11-make-clang
check-macos-12-cmake-clang
5m 19s
check-macos-12-cmake-clang
check-vs-2019-cmake-build-and-test
29m 29s
check-vs-2019-cmake-build-and-test
check-vs-2022-make-build-and-test
8m 29s
check-vs-2022-make-build-and-test
windows-msi-package
31m 36s
windows-msi-package
check-string-table
3m 20s
check-string-table
check-docker-image
19m 13s
check-docker-image
include-what-you-use
29m 47s
include-what-you-use
codecov-coverage-report
8m 28s
codecov-coverage-report
Fit to window
Zoom out
Zoom in

Annotations

16 errors
check-ubuntu-22_04-cmake-gcc-13
Process completed with exit code 1.
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
Process completed with exit code 1.
check-ubuntu-22_04-make-clang
Process completed with exit code 2.
check-ubuntu-22_04-cmake-gcc-32bit
Process completed with exit code 1.
check-ubuntu-20_04-cmake-gcc-THOROUGH
Process completed with exit code 1.
check-ubuntu-20_04-make-clang
Process completed with exit code 2.
check-ubuntu-20_04-make-gcc
Process completed with exit code 2.
check-macos-12-cmake-clang
Process completed with exit code 1.
check-ubuntu-22_04-cmake-gcc
Process completed with exit code 1.
check-ubuntu-20_04-cmake-gcc
Process completed with exit code 1.
check-macos-11-make-clang
Process completed with exit code 2.
codecov-coverage-report
Process completed with exit code 2.
check-vs-2022-make-build-and-test
Process completed with exit code 1.
check-docker-image
Process completed with exit code 1.
check-vs-2019-cmake-build-and-test
Process completed with exit code 1.
windows-msi-package
Process completed with exit code 1.