Loading report_coverage_device.sh +1 −1 Original line number Diff line number Diff line #!/bin/bash ./report_coverage_all.sh | grep -v -E "^(cent|comm|comp|cont|moni|serv|test)" | grep --color -E -i "^device/.*$|$" ./report_coverage_all.sh | grep --color -E -i "^device/.*$|$" Loading
report_coverage_device.sh +1 −1 Original line number Diff line number Diff line #!/bin/bash ./report_coverage_all.sh | grep -v -E "^(cent|comm|comp|cont|moni|serv|test)" | grep --color -E -i "^device/.*$|$" ./report_coverage_all.sh | grep --color -E -i "^device/.*$|$"