On 7 May 2017 at 06:27, Zhiyi Zhang wrote:
> Hi,
>
>
> I have installed klee on Ubuntu(version, 14.04 64 bit) with LLVM-3.4,and I
> successfully run the tutorial 1 & 2. However, I met a problem when I run
> Coreutils 6.11. I used the same options which are showed on
Hi,
I have installed klee on Ubuntu(version, 14.04 64 bit) with
LLVM-3.4,and I successfully run the tutorial 1 & 2. However, I met a
problem when I run Coreutils 6.11. I used the same options which are
showed on "OSDI'08 Coreutils Experiments", and klee showed an error
message as following,