is generated using lcov (on top of LLVM’s gcov emulation, I think?). lcov has support for something it calls “branch coverage”, but it’s buggy; when I tried to generate a report with it enabled, it hung. is generated using LLVM source-based code coverage (). Currently, it doesn’t have any support for decision coverage. -Eli