On 2023-07-09 at 20:25+08:00, 尹麓鸣 wrote:
> How should I compile CoreBench using wllvm
> and use KLEE to check CoreBench?
CoreBench essentially provides the error-introducing and -fixing
commits for each bug. Included programs use the GNU Build System,
which warrants neither backward nor forward c
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__
