Verifies: SYS-REQ-115 (unknown escapes are emitted literally) SYS-REQ-115:encoding_safety:nominal reqproof:proptest:skip targeted witness/regression test; not a property-test subject
(t *testing.T)
| 66 | // SYS-REQ-115:encoding_safety:nominal |
| 67 | // reqproof:proptest:skip targeted witness/regression test; not a property-test subject |
| 68 | func TestConfigAllowUnknownEscapes(t *testing.T) { |
| 69 | data := []byte("{\"message\":\"hello\\`world\\x\"}") |
| 70 | config := Config{AllowUnknownEscapes: true} |
| 71 | |
| 72 | raw, valueType, _, err := config.Get(data, "message") |
| 73 | if err != nil { |
| 74 | t.Fatalf("Config.Get returned error: %v", err) |
| 75 | } |
| 76 | if valueType != String || string(raw) != "hello\\`world\\x" { |
| 77 | t.Fatalf("Config.Get = (%q, %v), want raw escaped string", raw, valueType) |
| 78 | } |
| 79 | |
| 80 | got, err := config.GetString(data, "message") |
| 81 | if err != nil { |
| 82 | t.Fatalf("Config.GetString returned error: %v", err) |
| 83 | } |
| 84 | if want := "hello`worldx"; got != want { |
| 85 | t.Fatalf("Config.GetString = %q, want %q", got, want) |
| 86 | } |
| 87 | } |
| 88 | |
| 89 | // Verifies: SYS-REQ-115 (zero-value Config remains strict) |
| 90 | // SYS-REQ-115:malformed_input:nominal |