izlatkin / HornLauncher

scripts and reports for executions seahorn and test generation
0 stars 0 forks source link

coverage should be available for the case when process is terminated #5

Closed izlatkin closed 3 years ago

izlatkin commented 3 years ago

coverage should be available for the case when the process is terminated. Now if the process was terminated .gcda file is not available. see: https://stackoverflow.com/questions/68550611/how-to-get-gcov-gcda-coverage-if-test-run-was-terminated

possible solution https://stackoverflow.com/questions/6699712/how-to-force-gcov-to-extract-data-even-when-program-is-aborted

izlatkin commented 3 years ago

https://github.com/izlatkin/HornLauncher/commit/8fd827e22b52f3addcbba9924483301967165b59