RDFLib / rdflib / 37019714007

91%

master: 91%

push

github

fix: terminate RDF patch prev header with a dot (#3501)

* fix: terminate RDF patch prev header with a dot

Each operation line in an RDF patch must be terminated by a '.', but the
PatchSerializer wrote the optional 'H prev' header without one, unlike the
'H id' header directly above it. Patches carrying a prev header were
therefore not valid RDF patch documents.

The existing test_prev_header assertion matched the truncated output, so it
is updated to require the terminating dot and now guards the fix.

Closes #3007

* Make H id header optional, aligning with #3141

* docs(patch): clarify optional patch ID headers

---------

Co-authored-by: Sanjay Santhanam <Sanjays2402@users.noreply.github.com>
Co-authored-by: Edmond Chuc <edmond@kurrawong.ai>

6895 of 8542 branches covered (80.72%)

3 of 3 new or added lines in 1 file covered. (100.0%)

23173 of 25466 relevant lines covered (91.0%)

0.91 hits per line