Dart coverage data manipulation and formatting