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
<[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] <mailto:[email protected]>
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
--
Charitha Saumya
PhD Student
School of Electrical and Computer Engineering
Purdue University
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
