Function TestGetStringDeterminism

obligation_property_test.go:58–82

Verifies: SYS-REQ-090 MCDC SYS-REQ-090: getstring_called_twice_with_same_input=T, getstring_returns_identical_results=T => TRUE

(t *testing.T)

// Verifies: SYS-REQ-090
// MCDC SYS-REQ-090: getstring_called_twice_with_same_input=T, getstring_returns_identical_results=T => TRUE
func TestGetStringDeterminism(t *testing.T) {
	cases := []struct {
		name string
		data string
		keys []string
	}{
		{name: "simple", data: `{"s":"hello"}`, keys: []string{"s"}},
		{name: "escaped", data: `{"s":"hello\nworld"}`, keys: []string{"s"}},
		{name: "unicode", data: `{"s":"\u00e9"}`, keys: []string{"s"}},
		{name: "missing", data: `{"a":1}`, keys: []string{"s"}},
	}
	for _, tc := range cases {
		t.Run(tc.name, func(t *testing.T) {
			data := []byte(tc.data)
			v1, err1 := GetString(data, tc.keys...)
			v2, err2 := GetString(data, tc.keys...)
			if v1 != v2 {
				t.Fatalf("GetString value mismatch: %q vs %q", v1, v2)
			}
			if (err1 == nil) != (err2 == nil) {
				t.Fatalf("GetString error mismatch: %v vs %v", err1, err2)
			}
		})
	}
}

// Verifies: SYS-REQ-094
// MCDC SYS-REQ-094: typed_getter_called_twice_with_same_input=T, typed_getter_returns_identical_results=T => TRUE