diff options
| author | MartinNowack <martin.nowack@gmail.com> | 2016-02-29 14:14:43 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2016-02-29 14:14:43 +0100 |
| commit | ce1dd5a7f3de7b536a9ff266a9231b44a053fe95 (patch) | |
| tree | 47dd5e214efaa3a28333a071c30a35895a03b5ed /include | |
| parent | 0fc86ca9e28cc411cb5e00afa22c32e77aca7e57 (diff) | |
| parent | 18f01e9f6d5471d176091f24671bef3eac0293ac (diff) | |
| download | klee-ce1dd5a7f3de7b536a9ff266a9231b44a053fe95.tar.gz | |
Merge pull request #344 from MartinNowack/feat_malloc
Add support for tcmalloc
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Config/config.h.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/include/klee/Config/config.h.in b/include/klee/Config/config.h.in index 66bf31cb..9adf7306 100644 --- a/include/klee/Config/config.h.in +++ b/include/klee/Config/config.h.in @@ -18,6 +18,9 @@ /* Does the platform use __ctype_b_loc, etc. */ #undef HAVE_CTYPE_EXTERNALS +/* Define to 1 if you have the <gperftools/malloc_extension.h> header file. */ +#undef HAVE_GPERFTOOLS_MALLOC_EXTENSION_H + /* Define to 1 if you have the <inttypes.h> header file. */ #undef HAVE_INTTYPES_H |