[klee-dev] Using <z3++.h> in headers
Charitha Saumya
cgusthin at purdue.edu
Tue Feb 6 20:19:08 GMT 2018
Hi all,
I want use z3 C++ APIs in a C++ source file I have placed inside
klee/lib/Solver directory.
But when trying to run make in my build directory (I use the cmake build
system in KLEE)
I get the following error.
include/z3++.h:165:59: error: exception handling disabled, use
-fexceptions to enable
throw exception(Z3_get_error_msg(m_ctx, e));
I use -DENABLE_SOLVER_Z3=ON in my cmake command when setting up the
build dir and also updated
the CMakeLists.txt file in lib/Solver before running the cmake command.
I can see that lib/Solver/Z3Builder.h used z3.h as header without any
issue. Is it possible to
use APIs in <z3++.h> inside KLEE.
Please help me on this.
Thanks,
Charitha
More information about the klee-dev
mailing list