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

[Charitha Saumya]

Thanks.

I did try that without success.

But finally figured it out by removing -fno-exceptions flag from one of 
tha CMake files.

Charitha


On 02/06/2018 09:14 PM, Andrew Santosa wrote:
> 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 <mailto:klee-dev at imperial.ac.uk>
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

-- 
Charitha Saumya
PhD Student
School of Electrical and Computer Engineering
Purdue University

-------------- next part --------------
HTML attachment scrubbed and removed