Kareem Khazem

Here is how it looks, the text is slightly out of date (I've since made the example shorter) 

One thing that occurs to me is that I wouldn't really want to specify particular memory sizes. What I'm really concerned about is that the usage doesn't exhaust the available...

This was implemented in #94.

CI will pass once we actually install VeriFast in CI (soon). I also need to add a README explaining the proof-configuration file

[Here](https://github.com/FreeRTOS/coreMQTT-Agent/actions/runs/4205247377/jobs/7297047446) is a run of a coreMQTT-Agent pull request that uses a 'centralized' Proof CI definition from [my fork](https://github.com/karkhaz/CI-CD-Github-Actions/commit/63d09445a4b7173806749af2b750dec0528bdb18) of the [FreeRTOS central CI repo](https://github.com/FreeRTOS/CI-CD-Github-Actions).

https://github.com/FreeRTOS/CI-CD-Github-Actions/pull/58

Thank you for this suggestion! As far as I can tell, we haven't looked into adding SARIF output either for CBMC or for Kani. Currently we use a [script](https://github.com/model-checking/cbmc-starter-kit/blob/master/src/cbmc_starter_kit/template-for-repository/proofs/lib/summarize.py) that...