diff options
author | Julian Büning <julian.buening@comsys.rwth-aachen.de> | 2020-12-17 14:17:29 +0100 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2021-02-16 18:37:16 +0000 |
commit | 5f08b024bef12c3312d1e75f2c2ec5e5f5e0361f (patch) | |
tree | f3398bb7f5fc5fdcc3b35f0947399219a481cf5f /lib/Core/Executor.h | |
parent | dbe3e458d3e25fb092a5468a8fe551a6e7486aed (diff) | |
download | klee-5f08b024bef12c3312d1e75f2c2ec5e5f5e0361f.tar.gz |
add ifdefs for C++ exception handling
restoring old behavior without EH support
Diffstat (limited to 'lib/Core/Executor.h')
-rw-r--r-- | lib/Core/Executor.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h index 1614a0f9..eb3417ae 100644 --- a/lib/Core/Executor.h +++ b/lib/Core/Executor.h @@ -110,8 +110,10 @@ public: ReadOnly, ReportError, User, +#ifdef SUPPORT_KLEE_EH_CXX UncaughtException, UnexpectedException, +#endif Unhandled, }; |