Verifies: SYS-REQ-116 (empty input) SYS-REQ-116:empty_input:nominal reqproof:proptest:skip targeted empty-stream witness
(t *testing.T)
| 220 | // SYS-REQ-116:empty_input:nominal |
| 221 | // reqproof:proptest:skip targeted empty-stream witness |
| 222 | func TestReaderParserEmpty(t *testing.T) { |
| 223 | rp := NewReaderParser(bytes.NewReader(nil)) |
| 224 | if _, vt, err := rp.Get("key"); !errors.Is(err, KeyPathNotFoundError) || vt != NotExist { |
| 225 | t.Fatalf("empty Get = type %v, error %v; want NotExist, KeyPathNotFoundError", vt, err) |
| 226 | } |
| 227 | } |
| 228 | |
| 229 | type repeatedByteReader struct { |
| 230 | remaining int64 |
nothing calls this directly
no test coverage detected