RUN: %cat %S/Output/html/_source_files/file.py.html | filecheck %s --dump-input=fail --check-prefix CHECK-SOURCE-FILE
-CHECK-SOURCE-FILE: def hello_world
-CHECK-SOURCE-FILE: href="../_source_files/file.py.html#REQ-1#2#11"
-CHECK-SOURCE-FILE: href="../_source_files/file.py.html#REQ-2#2#11"
CHECK-SOURCE-FILE:
-CHECK-SOURCE-FILE: href="../_source_files/file.py.html#REQ-1#2#11"
+CHECK-SOURCE-FILE: def hello_world
+CHECK-SOURCE-FILE: href="../_source_files/file.py.html#REQ-2#4#5"
+CHECK-SOURCE-FILE: href="../_source_files/file.py.html#REQ-1#7#16"
+CHECK-SOURCE-FILE: href="../_source_files/file.py.html#REQ-1#11#16"
+CHECK-SOURCE-FILE: href="../_source_files/file.py.html#REQ-1#13#13"
RUN: %cat %S/Output/html/source_coverage.html | filecheck %s --dump-input=fail --check-prefix CHECK-SOURCE-COVERAGE
-CHECK-SOURCE-COVERAGE: 71.4%
+CHECK-SOURCE-COVERAGE: 63.2%