diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-02-11 06:43:09 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-02-14 23:55:24 +0000 |
| commit | 5960bc6387df8ec89e3e98ae3867b0a3c025033b (patch) | |
| tree | ce3a0a149251941b6c557eff1182c9738a81293b /include | |
| parent | 1f13e9dbf9db2095b6612a47717c2b86e4aaba72 (diff) | |
| download | klee-5960bc6387df8ec89e3e98ae3867b0a3c025033b.tar.gz | |
Handle Z3 API change between 4.4.1 and the current master branch
for the ``Z3_get_error_msg()`` function.
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 28eefcb6..66bf31cb 100644 --- a/include/klee/Config/config.h.in +++ b/include/klee/Config/config.h.in @@ -63,6 +63,9 @@ /* Define to 1 if you have the <unistd.h> header file. */ #undef HAVE_UNISTD_H +/* Z3 needs a Z3_context passed to Z3_get_error_msg() */ +#undef HAVE_Z3_GET_ERROR_MSG_NEEDS_CONTEXT + /* LLVM version is release (instead of development) */ #undef LLVM_IS_RELEASE |