coverage.py « feature_check « tests - user/sven/micropython.git - The MicroPython project

summary refs log tree commit diff

path: root/tests/feature_check/coverage.py

blob: dcda53eae24bba6943fb5dc644f7d9fd0f0b1bd6 (plain)

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