Hello, I would like to use KLEE to check CoreBench (an open source work on Coreutils). How should I compile CoreBench using wllvm and use KLEE to check CoreBench?Thank you for taking the time out of your busy schedule to read my letter. Looking forward to your reply
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
