On 16 April 2015 at 13:59, Joshep J. Cortez Sanchez agne...@gmail.com wrote:
Dan,
Thanks for answer!
In the 1) case, using whole-program-llvm all works fine.
Great.
I don't know why in the tutorial(step 6) gives:
Lines executed:97.03% of 101
and I obtained:
Lines executed:97.09% of
Hi Klee-Dev,
I am new to Klee but I think that I found a way around the problem
mentioned in this:
http://mailman.ic.ac.uk/pipermail/klee-dev/2013-September/000335.html
thread. (I am also new to mailing lists so I was not sure how to reply to
the thread above directly).
I was receiving the