From 907a4b0e5e350056681c9bbfcaaa60e3999642dc Mon Sep 17 00:00:00 2001
From: Florian Bruhin <git@the-compiler.org>
Date: Wed, 29 Jul 2015 17:31:26 +0200
Subject: [PATCH] Add path assertion to check_coverage.py.

https://bitbucket.org/ned/coveragepy/issues/235 confuses me - maybe the XML
format will change in the future to not contain the full filename? To make
sure I'll add this assertion, then I'll notice.
---
 scripts/dev/check_coverage.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/dev/check_coverage.py b/scripts/dev/check_coverage.py
index 69aed2468..5b778cb0c 100644
--- a/scripts/dev/check_coverage.py
+++ b/scripts/dev/check_coverage.py
@@ -70,6 +70,7 @@ def main():
         assert 0 <= line_cov <= 100, line_cov
         assert 0 <= branch_cov <= 100, branch_cov
         assert '\\' not in filename, filename
+        assert '/' in filename, filename
 
         if branch_cov < 100 and klass.find('./lines/line[@branch="true"]'):
             # Files without any branches have 0% coverage