Angelo Nakos
Results
2
issues of
Angelo Nakos
When I opened this [PR](https://github.com/model-checking/cbmc-starter-kit/pull/161), @feliperodri informed me that the _Test CBMC starter-kit by using coreHTTP / Python 3.X (pull_request)_ checks had failed. The failure occurred inside of the `jq`...
easy
Documentation should automatically be rebuilt whenever a new version of the CBMC starter kit has been released.
documentation