diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-04-24 11:30:34 +0100 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-04-24 13:51:41 +0200 |
| commit | d344b98751232ea79a22c6907175154f3fc9889d (patch) | |
| tree | 6b8309dc56e22a81274154d132320559900d8376 /test/Feature/SetForking.c | |
| parent | 45ec4161781755dedc926341f98da2b8fa33695a (diff) | |
| download | klee-d344b98751232ea79a22c6907175154f3fc9889d.tar.gz | |
Have configure check for presense of mallinfo for the newly added
klee::util::GetTotalMemoryUsage()
Diffstat (limited to 'test/Feature/SetForking.c')
0 files changed, 0 insertions, 0 deletions