trungdong / prov / 39648855056

99%

master: 98%

push

github

docs(spec): 5.3 as PR 7 can build it, with the deferred warnings list and #586 closing in PR 10

The parser's self.warnings list keeps one caller after PR 7, the qualified-name value check of section 5.8, so the list goes with that site in PR 10 and #586 closes there. A lenient skip carries the error's text and no issue number, as every 3.3.0 error message does under D7; a 3.2.3 filter on ProvFutureRejectionWarning cannot match a ProvWarning skip whichever text it carries, so the old promise was empty. Row 7 of section 8, row 10 and ruling D1 say so.

1439 of 1472 branches covered (97.76%)

4088 of 4140 relevant lines covered (98.74%)

5.92 hits per line