Skip to content
Build and Test CBMC

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

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 #8914

Triggered via pull request October 17, 2023 08:04
@martin-csmartin-cs
synchronize #7964
martin-cs:feature/goto-analyzer-instrument-task
Status Failure
Total duration 31m 28s
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
21m 48s
check-ubuntu-20_04-make-gcc
check-ubuntu-20_04-make-clang
5m 3s
check-ubuntu-20_04-make-clang
check-ubuntu-20_04-make-clang-smt-z3
5m 0s
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
2m 40s
check-ubuntu-22_04-make-clang
check-ubuntu-22_04-cmake-gcc
5m 31s
check-ubuntu-22_04-cmake-gcc
check-ubuntu-22_04-cmake-gcc-13
2m 52s
check-ubuntu-22_04-cmake-gcc-13
check-ubuntu-22_04-cmake-gcc-32bit
2m 41s
check-ubuntu-22_04-cmake-gcc-32bit
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
3m 44s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
check-ubuntu-20_04-cmake-gcc-THOROUGH
6m 7s
check-ubuntu-20_04-cmake-gcc-THOROUGH
check-macos-11-make-clang
6m 27s
check-macos-11-make-clang
check-macos-12-cmake-clang
3m 49s
check-macos-12-cmake-clang
check-vs-2019-cmake-build-and-test
27m 52s
check-vs-2019-cmake-build-and-test
check-vs-2022-make-build-and-test
8m 6s
check-vs-2022-make-build-and-test
windows-msi-package
31m 11s
windows-msi-package
check-string-table
3m 17s
check-string-table
check-docker-image
17m 29s
check-docker-image
include-what-you-use
29m 25s
include-what-you-use
codecov-coverage-report
13m 19s
codecov-coverage-report
Fit to window
Zoom out
Zoom in

Annotations

16 errors
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-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-macos-12-cmake-clang
Process completed with exit code 1.
check-ubuntu-20_04-make-clang
Process completed with exit code 2.
check-ubuntu-22_04-cmake-gcc
Process completed with exit code 1.
check-ubuntu-20_04-cmake-gcc-THOROUGH
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.
check-vs-2022-make-build-and-test
Process completed with exit code 1.
codecov-coverage-report
Process completed with exit code 2.
check-docker-image
Process completed with exit code 1.
check-ubuntu-20_04-make-gcc
Process completed with exit code 2.
check-vs-2019-cmake-build-and-test
Process completed with exit code 1.
windows-msi-package
Process completed with exit code 1.