diff --git a/platform/posix/coverage.py b/platform/posix/coverage.py
index e4be1c517..4ff08a231 100755
--- a/platform/posix/coverage.py
+++ b/platform/posix/coverage.py
@@ -15,6 +15,8 @@ def getDirectories():
     sourcedirs = set()
     rootdir = os.getcwd()
     for dirpath, dirnames, filenames in os.walk(rootdir):
+        if 'test_problems' in dirpath or '/ext/' in dirpath:
+            continue
         for fname in filenames:
             if fname.endswith('.gcda'):
                 dirpath.replace(rootdir, '', 1)