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 works!
> Regards,
> Thuan
>
>
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 get stuck at the compilation step. Neither KLE
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 message I got when I trie
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 - LLV