[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