Skip to content
Build

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

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

Triggered via pull request May 31, 2024 18:31
@hanno-beckerhanno-becker
opened #46
cbmc
Status Failure
Total duration 24s
Artifacts –

build.yml

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

Annotations

5 errors
Format error: cbmc/proofs/poly_decompress/poly_decompress_harness.c#L1
cbmc/proofs/poly_decompress/poly_decompress_harness.c require to be formatted
Format error: mlkem/poly.c#L1
mlkem/poly.c require to be formatted
Format error: cbmc/proofs/Makefile_params.common#L16
cbmc/proofs/Makefile_params.common require to be formatted
Format error: cbmc/proofs/lib/__init__.py#L1
cbmc/proofs/lib/__init__.py require to be formatted
build_test
Process completed with exit code 1.