On 26/05/2020 13:32, Namrata Jain wrote:
I also want to know about klee version-2.1-pre, is it the same as
version 2.0? This is because I have made some changes in my klee source
(2.1-pre) for a project and now I will be using version-2.1.
2.1-pre is the version string reported by the mainline
32 PM
To: Felix Rath
Cc: klee-dev@imperial.ac.uk
Subject: Re: [klee-dev] Error while using C++ STL, libcxx
Hello Felix,
Thankyou for the reply.
As suggested, I ran "make check" from klee-build-directory and found
that 47 unexpected tests were failing.
So, I installed llvm-10, but whi
with KLEE's C++ support goes, and the kinds of
issues/questions that come up.
Best,
Felix
From: klee-dev-boun...@imperial.ac.uk
on behalf of Namrata Jain
Sent: Sunday, May 24, 2020 5:47 PM
To: klee-dev@imperial.ac.uk
Subject: [klee-dev] Error while using C++ STL, libcxx
: Tuesday, May 26, 2020 2:32 PM
To: Felix Rath
Cc: klee-dev@imperial.ac.uk
Subject: Re: [klee-dev] Error while using C++ STL, libcxx
Hello Felix,
Thankyou for the reply.
As suggested, I ran "make check" from klee-build-directory and found
that 47 unexpected tests were failing.
S
to hear if this fixed the issue, and in general how your
experience with KLEE's C++ support goes, and the kinds of issues/questions that
come up.
Best,
Felix
From: klee-dev-boun...@imperial.ac.uk on
behalf of Namrata Jain
Sent: Sunday, May 24, 2020
Hello all,
I always run into 'Terminator found in the middle of basic block' when I
try running C++ program with STL. I could not figure out if this error
is due to some error in program, how I run KLEE, libcxx or due to some
mistake while building KLEE.
An example program:
#include