sosy-lab / tbf

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

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

TBF coverage is not measured on abnormal termination (abort)

lembergerth opened this issue · comments

As mentioned in #8,

abnormal termination of an application does not flush gcov data. This leads to incomplete coverage data.

It should be fixed by adding an abort-signal handler that uses __gcov_flush.