Как чтобы заставить gcov извлекать данные, даже если программа прервана

Я использую инструмент создания тестов под названием KLEE, который создает множество тестов для моего кода C99. После этого я запускаю тесты и проверяю покрытие строки с помощью gcov. Gcov, кажется, обновляет данные покрытия в конце прогона после успешного завершения.

Однако некоторые тесты терпят неудачу (утверждения утверждения, которые не соответствуют действительности), что приводит к прерыванию программы и gcov не считает строки, покрытые в этом прогоне.

Есть ли способ, которым gcov сбрасывает информацию при любом выходе (не только при успешном)?