CBMC
freer.h File Reference
#include <cstdlib>
#include <utility>
+ Include dependency graph for freer.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  freert
 A functor wrapping std::free. More...