FreeRTOS/coreMQTT
1
0
Fork 0
mirror of https://github.com/FreeRTOS/coreMQTT synced 2025-06-03 18:49:26 +08:00
Code Issues Releases Wiki Activity
coreMQTT/test/cbmc/proofs/MQTT_ProcessLoop
History
Archit Aggarwal d355bfa259
Re-brand lightweight MQTT as MQTT serializer (#29) 
Rename all instance of "lightweight" MQTT with "serializer" in files and documentation
2020-09-03 14:56:32 -07:00
..
cbmc-batch.yaml
Add CBMC Batch proof markers
2020-09-02 22:27:54 +01:00
cbmc-viewer.json
Enable CBMC proof builds (#16)
2020-08-31 16:23:26 -07:00
Makefile
Re-brand lightweight MQTT as MQTT serializer (#29)
2020-09-03 14:56:32 -07:00
MQTT_ProcessLoop_harness.c
Enable CBMC proof builds (#16)
2020-08-31 16:23:26 -07:00
README.md
Rename MQTT files, and Relocate CBMC and unit-test files (#12)
2020-08-31 10:02:38 -07:00

README.md

MQTT_ProcessLoop proof

This directory contains a memory safety proof for MQTT_ProcessLoop.

To run the proof.

  • Add cbmc, goto-cc, goto-instrument, goto-analyzer, and cbmc-viewer to your path.
  • Run "make".
  • Open html/index.html in a web browser.