sosy-lab / tbf

A framework for using test case generators to locate errors in C programs

https://sosy-lab.org/research/test-study

sosy-lab/tbf Issues

TBF coverage is not measured on abnormal termination (abort)
Updated 5 years ago
Support of TBF for software system benchmarks
Closed 5 years ago6
Crest doesn't work with GCC 7
Closed 5 years ago1
Unsure how to use the script
Closed 5 years ago4
Merge branch `unstable`
Closed 6 years ago