Thankyou Felix.
--
Namrata Jain
On 26.05.2020 22:02, Felix Rath wrote:
Hey,
As suggested, I ran "make check" from klee-build-directory and found
that 47 unexpected tests were failing.
That definitely sounds like something might have been broken there.
What this error is about? I also
Hi,
Has anyone built Klee with the LLVM10 and, maybe, has a docker image
available?
--
Best regards,
Martins Eglitis
___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
Hi,
This was the simplest way to implement --max-forks. I agree you could
improve this, depending also on what you want to achieve.
Best,
Cristian
On 25/05/2020 10:31, XIE Xuan wrote:
Hi all,
I am reading KLEE’s source code and find that if I set “-max-fork=n”
when KLEE reach its fork