Skip to content
Build

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

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

Triggered via pull request June 1, 2024 20:31
@hanno-beckerhanno-becker
synchronize #46
cbmc
Status Failure
Total duration 2m 34s
Artifacts –

build.yml

on: pull_request
build_test
2m 26s
build_test
Fit to window
Zoom out
Zoom in

Annotations

10 errors
Missing license header error: cbmc/proofs/poly_compress/Makefile#L1
cbmc/proofs/poly_compress/Makefile is missing SPDX License header
Missing license header error: cbmc/proofs/poly_compress/README.md#L1
cbmc/proofs/poly_compress/README.md is missing SPDX License header
Missing license header error: cbmc/proofs/poly_compress/cbmc-proof.txt#L1
cbmc/proofs/poly_compress/cbmc-proof.txt is missing SPDX License header
Missing license header error: cbmc/proofs/scalar_compress_q_16/Makefile#L1
cbmc/proofs/scalar_compress_q_16/Makefile is missing SPDX License header
Missing license header error: cbmc/proofs/scalar_compress_q_16/README.md#L1
cbmc/proofs/scalar_compress_q_16/README.md is missing SPDX License header
Missing license header error: cbmc/proofs/scalar_compress_q_16/cbmc-proof.txt#L1
cbmc/proofs/scalar_compress_q_16/cbmc-proof.txt is missing SPDX License header
Missing license header error: cbmc/proofs/scalar_compress_q_32/Makefile#L1
cbmc/proofs/scalar_compress_q_32/Makefile is missing SPDX License header
Missing license header error: cbmc/proofs/scalar_compress_q_32/Makefile~#L1
cbmc/proofs/scalar_compress_q_32/Makefile~ is missing SPDX License header
Missing license header error: cbmc/proofs/scalar_compress_q_32/README.md#L1
cbmc/proofs/scalar_compress_q_32/README.md is missing SPDX License header
Missing license header error: cbmc/proofs/scalar_compress_q_32/cbmc-proof.txt#L1
cbmc/proofs/scalar_compress_q_32/cbmc-proof.txt is missing SPDX License header