_Cellular_GenericCallback proof
This directory contains a memory safety proof for _Cellular_NetworkRegistrationCallback.
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.