Angelo Nakos comments

Repositories
Issues
Comments

Results 1 comments of


                                            Angelo Nakos

aws-c-common - run_cbmc_proofs failing at "Install latest CBMC" stage

Currently, the latest CBMC is being installed this way: https://github.com/model-checking/cbmc-starter-kit/blob/master/src/cbmc_starter_kit/template-for-ci-workflow/proof_ci.yaml#L64-L70 ```bash # Search within 5 most recent releases for latest available package CBMC_REL="https://api.github.com/repos/diffblue/cbmc/releases?page=1&per_page=5" CBMC_DEB=$(curl -s $CBMC_REL | jq -r '.[].assets[].browser_download_url'...