RFE: add SV-Benchmarks ? #4
Description
Might want to try the C tests from:
https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/tree/main/c
{{ message }}
Might want to try the C tests from:
https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/tree/main/c