#!/bin/bash ./report_coverage.sh | grep --color -E -i "^.*device.*$|$"