Hello,
I have tried to use KLEE with some benchmarks and I have followed the tutorial of using KLEE with Coreutils. After I installed WLLVM, I have tried to build the benchmark with LLVM as mentioned in Step three but I don't know where can I put the option of disabling nls (--disable-nls). The benchmark doesn't have configure shell script , just has make file. Can anyone help me to solve this issue ? Thank you, _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev