FreeRTOS/coreMQTT
1
0
Fork 0
mirror of https://github.com/FreeRTOS/coreMQTT synced 2025-07-03 18:28:55 +08:00
Code Issues Releases Wiki Activity
coreMQTT/test/cbmc/sources/README.md
Angelo Nakos dc45d0c9cb Update files related to CBMC starter kit
2022-07-15 10:56:02 -07:00

209 B
Raw Permalink Blame History

CBMC proof source code

This directory contains source code written for CBMC proofs. It is common to write some code to model aspects of the system under test, and this code goes here.