List<int> getUncoveredLines() { return linesCoverage.entries .where((entry) => entry.value == 0) .map((entry) => entry.key) .toList(); }