diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2018-10-03 22:23:49 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-10-08 16:12:29 +0100 |
| commit | f3d3cca63d1e2500764279f7b4fc302fd8106676 (patch) | |
| tree | ff3997a39bda7a15122ccb102f773066532413cc /include | |
| parent | dc6cba8a1524fdad87660c780c9c12dcb0b38b24 (diff) | |
| download | klee-f3d3cca63d1e2500764279f7b4fc302fd8106676.tar.gz | |
add support for klee-replay on OSX
* also adds klee-replay as dependency for systemtests
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Config/config.h.cmin | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/include/klee/Config/config.h.cmin b/include/klee/Config/config.h.cmin index b2b9692a..0a5811b7 100644 --- a/include/klee/Config/config.h.cmin +++ b/include/klee/Config/config.h.cmin @@ -25,6 +25,15 @@ /* Define to 1 if you have the `malloc_zone_statistics' function. */ #cmakedefine HAVE_MALLOC_ZONE_STATISTICS @HAVE_MALLOC_ZONE_STATISTICS@ +/* Define to 1 if you have the <pty.h> header file. */ +#cmakedefine HAVE_PTY_H @HAVE_PTY_H@ + +/* Define to 1 if you have the <util.h> header file. */ +#cmakedefine HAVE_UTIL_H @HAVE_UTIL_H@ + +/* Define to 1 if you have the <sys/statfs.h> header file. */ +#cmakedefine HAVE_SYSSTATFS_H @HAVE_SYSSTATFS_H@ + /* Define to 1 if you have the <selinux/selinux.h> header file. */ #cmakedefine HAVE_SELINUX_SELINUX_H @HAVE_SELINUX_SELINUX_H@ |