The source project of this merge request has been removed.
TestCov 3.5.post4
Fixes coverage measurement for single-line void reach_error () { __assert_fail(..) } . TestCov did not add a gcov_dump before that construct in version 3.5.post3, leading to incomplete coverage measurements if reach_error was called in coverage-branches.