Searched refs:COVERAGE (Results 1 – 2 of 2) sorted by relevance
128 if [ "$COVERAGE" = 1 ]; then
220 COVERAGE = int(os.getenv('COVERAGE', '0'))225 if COVERAGE or OTBR_COVERAGE: