Re: [klee-dev] Testing newest Coreutils

The new instructions to compile Coreutils with LLVM 3.4 are now available on the website: http://klee.github.io/tutorials/testing-coreutils/ Please report any issue! Best, Andrea > On 24 Nov 2016, at 09:12, Thuan Pham wrote: > > Hi Dan, > Thank you very much. It

Re: [klee-dev] Testing newest Coreutils

Hi Dan, Thank you very much. It works! Regards, Thuan On Thu, Nov 24, 2016 at 4:45 PM, Dan Liew wrote: > On 24 November 2016 at 03:57, Thuan Pham wrote: > > Hi, > > Has anyone tried to use KLEE to test newest version of Coreutils, say > 8.25? > > I

Re: [klee-dev] Testing newest Coreutils

On 24 November 2016 at 03:57, Thuan Pham wrote: > Hi, > Has anyone tried to use KLEE to test newest version of Coreutils, say 8.25? > I get stuck at the compilation step. Neither KLEE - LLVM2.9 nor KLEE - > LLVM3.4 can compile Coreutils successfully. > > Here is the error

[klee-dev] Testing newest Coreutils

Hi, Has anyone tried to use KLEE to test newest version of Coreutils, say 8.25? I get stuck at the compilation step. Neither KLEE - LLVM2.9 nor KLEE - LLVM3.4 can compile Coreutils successfully. Here is the error message I got when I tried to compile Coreutils with klee-clang wrapper in KLEE -