Skip to content
CI Checks

[Draft] CBMC: replace any missing functions by assert-false #6546

Sign in to view logs

[Draft] CBMC: replace any missing functions by assert-false

[Draft] CBMC: replace any missing functions by assert-false #6546

Triggered via pull request July 16, 2024 09:09
@ActoryOuActoryOu
synchronize #1147
tautschnig:cbmc-no-undefined-functions
Status Failure
Total duration 7m 8s
Billable time 7m
Artifacts –

ci.yml

on: pull_request
unittest
4m 1s
unittest
spell-check
1m 3s
spell-check
formatting
14s
formatting
doxygen
16s
doxygen
verify-manifest
13s
verify-manifest
link-verifier
1m 33s
link-verifier
build-checks
59s
build-checks
complexity
11s
complexity
git-secrets
8s
git-secrets
proof_ci
6m 54s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

3 errors
unittest
Process completed with exit code 8.
proof_ci
The runner has received a shutdown signal. This can happen when the runner service is stopped, or a manually started runner is canceled.
proof_ci
The operation was canceled.