report_coverage_device.sh

#!/bin/bash

./report_coverage_all.sh | grep --color -E -i "^device/.*$|$"