Skip to content
Build and Test CBMC

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

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

Triggered via pull request February 2, 2024 20:24
@martin-csmartin-cs
synchronize #7964
martin-cs:feature/goto-analyzer-instrument-task
Status Failure
Total duration 26m 44s
Artifacts –

pull-request-checks.yaml

on: pull_request
check-ubuntu-20_04-make-gcc
3m 24s
check-ubuntu-20_04-make-gcc
check-ubuntu-20_04-make-clang
3m 48s
check-ubuntu-20_04-make-clang
check-ubuntu-20_04-make-clang-smt-z3
4m 40s
check-ubuntu-20_04-make-clang-smt-z3
check-ubuntu-20_04-cmake-gcc
4m 47s
check-ubuntu-20_04-cmake-gcc
check-ubuntu-22_04-make-clang
2m 23s
check-ubuntu-22_04-make-clang
check-ubuntu-22_04-cmake-gcc
3m 19s
check-ubuntu-22_04-cmake-gcc
check-ubuntu-22_04-cmake-gcc-13
2m 23s
check-ubuntu-22_04-cmake-gcc-13
check-ubuntu-22_04-cmake-gcc-32bit
2m 15s
check-ubuntu-22_04-cmake-gcc-32bit
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
2m 10s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
check-ubuntu-20_04-cmake-gcc-THOROUGH
3m 38s
check-ubuntu-20_04-cmake-gcc-THOROUGH
check-macos-11-make-clang
10m 33s
check-macos-11-make-clang
check-macos-12-cmake-clang
3m 54s
check-macos-12-cmake-clang
check-vs-2019-cmake-build-and-test
17m 19s
check-vs-2019-cmake-build-and-test
check-vs-2022-make-build-and-test
5m 55s
check-vs-2022-make-build-and-test
windows-msi-package
17m 16s
windows-msi-package
check-string-table
2m 35s
check-string-table
check-docker-image
13m 29s
check-docker-image
include-what-you-use
26m 31s
include-what-you-use
codecov-coverage-report
10m 35s
codecov-coverage-report
Fit to window
Zoom out
Zoom in

Annotations

16 errors and 3 warnings
check-ubuntu-20_04-cmake-gcc-KNOWNBUG
Process completed with exit code 1.
check-ubuntu-22_04-cmake-gcc-32bit
Process completed with exit code 1.
check-ubuntu-22_04-make-clang
Process completed with exit code 2.
check-ubuntu-22_04-cmake-gcc-13
Process completed with exit code 1.
check-ubuntu-22_04-cmake-gcc
Process completed with exit code 1.
check-ubuntu-20_04-make-gcc
Process completed with exit code 2.
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-macos-12-cmake-clang
Process completed with exit code 1.
check-ubuntu-20_04-cmake-gcc
Process completed with exit code 1.
check-vs-2022-make-build-and-test
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-docker-image
Process completed with exit code 1.
windows-msi-package
Process completed with exit code 1.
check-vs-2019-cmake-build-and-test
Process completed with exit code 1.
check-vs-2022-make-build-and-test
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: microsoft/setup-msbuild@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
windows-msi-package
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: microsoft/setup-msbuild@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
check-vs-2019-cmake-build-and-test
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: microsoft/setup-msbuild@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.