Skip to content
Build

Demonstrate use of CBMC in example of (de)compression routines #96

Sign in to view logs

Demonstrate use of CBMC in example of (de)compression routines

Demonstrate use of CBMC in example of (de)compression routines #96

Triggered via pull request May 31, 2024 19:52
@hanno-beckerhanno-becker
synchronize #46
cbmc
Status Failure
Total duration 26s
Artifacts –

build.yml

on: pull_request
build_test
17s
build_test
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Format error: cbmc/proofs/Makefile_params.common#L16
cbmc/proofs/Makefile_params.common require to be formatted
build_test
Process completed with exit code 1.