rellic
rellic copied to clipboard
Add more testsuites
Potential candidates:
https://github.com/brenocfg/AnghaBench
http://www.vectorization.computer/index.html
https://github.com/llvm/llvm-test-suite/tree/main/SingleSource/Regression/C/gcc-c-torture