Hello Thuan,
There was a small regression error which has now been fixed. Please try
with the newest version of KLEE and let me know if you have any problems.
Thank you very much for pointing this out!
Best wishes,
Hristina
On 01/12/14 06:55, Thuan Pham wrote:
FYI, I have compiled
Hello Hristina,
Thank you very much, it works now.
I have one more question. According to the tutorials for compiling the
vanilla KLEE and KLEE-metaSMT, it seems that there are two mainline KLEE
repositories at
https://github.com/klee/klee.git
https://github.com/ccadar/klee.git
Are they
Hello Hristina,
The file unordered_map.hpp is already there, at
/home/thuan/KLEE/metaSMT/deps/boost-1_52_0/include/boost/tr1
I have set the CPATH to point to your suggested path but it still doesn't
work.
Thanks,
Thuan.
On Sat, Nov 29, 2014 at 3:18 AM, Hristina Palikareva
FYI, I have compiled successfully the vanilla KLEE on my machine. I am
using Ubuntu 12.04 64-bit.
Thanks.
On Mon, Dec 1, 2014 at 2:51 PM, Thuan Pham thua...@comp.nus.edu.sg wrote:
Hello Hristina,
The file unordered_map.hpp is already there, at
Hello,
I followed the instructions at
http://srg.doc.ic.ac.uk/projects/klee-multisolver/getting-started.html to
compile KLEE-metaSMT.
I did compile metaSMT successfully but I faced error while configure and
compile KLEE with metaSMT. Here is the output error: