Design decisions

Instrumentation

We use Jacoco for its stability

Partial coverage

Flacoco considers the partially covered lines of Jacoco (for instance, if conditions) as covered in the formula.

Exceptions

Jacoco does not report the lines involved in a thrown exception (see "Source code lines with exceptions show no coverage. Why?" in Jacoco's FAQ), because the line counters are updated after the execution of a line. To compensate for this, flacoco parses the exception trace to add the relevant coverage.