Enable default analysis flags for CBMC version 6.0+ #1718
NlightNFotis
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
syntax-checks.yaml
on: pull_request
check-clang-format
1m 2s
check-cpplint
1m 5s
check-rustfmt
9s
Annotations
1 error
|
check-cpplint
Process completed with exit code 1.
|