[klee-dev] Using <z3++.h> in headers

[Andrew Santosa]

Hi Charitha,
If I were you, I would try to run cmake in the following way:
CXXFLAGS="-fexceptions" cmake ...
 
Regards,Andrew
    On Wednesday, 7 February 2018, 4:19:31 am GMT+8, Charitha Saumya <cgusthin at purdue.edu> wrote:  
 
 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


_______________________________________________
klee-dev mailing list
klee-dev at imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
  
-------------- next part --------------
HTML attachment scrubbed and removed