On 12/29/20 2:22 PM, Volker Weißmann wrote:
Can we somehow make the newest creduce commit (https://github.com/csmith-project/creduce) work both on Arch Linux and other machines? I think we need to check the version of libclang in a #ifdef.
Hello. You may want to try C-Vise, a Python port of C-Reduce, that can be built with LLVM 9, 10, 11: https://github.com/marxin/cvise Martin