HTTPClient_Send proof
==============

This directory contains a memory safety proof for HTTPClient_Send.

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.