klee

即使程序中止，如何强制 gcov 提取数据

我正在使用一个名为 KLEE 的测试生成工具它为我的 C99 代码创建了大量测试然后我运行测试并使用 gcov 检查线路覆盖率 Gcov 似乎会在成功完成运行结束时更新覆盖数据但是某些测试会失败断言语句不正确这会导致程序中止并且

c gcov klee