Re: [klee-dev] Klee-uclibc.bca Error when Running Coreutils

2017-05-07 Thread Dan Liew
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

[klee-dev] Klee-uclibc.bca Error when Running Coreutils

2017-05-06 Thread Zhiyi Zhang
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,