cprover
dereference_callback.cpp
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Pointer Dereferencing
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
11
12
#include "
dereference_callback.h
"
13
14
dereference_callbackt::~dereference_callbackt
()
15
{
16
}
dereference_callback.h
Pointer Dereferencing.
dereference_callbackt::~dereference_callbackt
virtual ~dereference_callbackt()
Definition:
dereference_callback.cpp:14
pointer-analysis
dereference_callback.cpp
Generated by
1.8.14