micropython/tests/feature_check/coverage.py

try:
    extra_coverage
    print("coverage")
except NameError:
    print("no")