Jonah Williams f0dd4ad530
[flutter_tools] add more info to coverage script (#64065)
Also output covered | total lines, and a summary percentage at the end + Kick tree
2020-08-18 12:18:54 -07:00
..