libpeer/third_party/coreHTTP/test/cbmc/proofs/httpParserOnHeaderFieldCallback

httpParserOnHeaderFieldCallback proof

This directory contains a memory safety proof for httpParserOnHeaderFieldCallback.

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.