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
<[email protected]> 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
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
