Function TestGetDeterminism

obligation_property_test.go:19–54

============================================================================= Determinism tests ============================================================================= Verifies: SYS-REQ-086 MCDC SYS-REQ-086: get_called_twice_with_same_input=T, get_returns_identical_results=T => TRUE

(t *testing.T)

// Verifies: SYS-REQ-086
// MCDC SYS-REQ-086: get_called_twice_with_same_input=T, get_returns_identical_results=T => TRUE
func TestGetDeterminism(t *testing.T) {
	cases := []struct {
		name string
		data string
		keys []string
	}{
		{name: "simple string", data: `{"name":"alice"}`, keys: []string{"name"}},
		{name: "nested object", data: `{"a":{"b":{"c":42}}}`, keys: []string{"a", "b", "c"}},
		{name: "array index", data: `{"arr":[10,20,30]}`, keys: []string{"arr", "[1]"}},
		{name: "missing key", data: `{"a":1}`, keys: []string{"b"}},
		{name: "empty object", data: `{}`, keys: []string{"x"}},
		{name: "root value no keys", data: `{"a":1}`, keys: nil},
		{name: "boolean value", data: `{"ok":true}`, keys: []string{"ok"}},
		{name: "null value", data: `{"x":null}`, keys: []string{"x"}},
	}
	for _, tc := range cases {
		t.Run(tc.name, func(t *testing.T) {
			data := []byte(tc.data)
			v1, dt1, off1, err1 := Get(data, tc.keys...)
			v2, dt2, off2, err2 := Get(data, tc.keys...)

			if !bytes.Equal(v1, v2) {
				t.Fatalf("Get value mismatch: %q vs %q", v1, v2)
			}
			if dt1 != dt2 {
				t.Fatalf("Get type mismatch: %v vs %v", dt1, dt2)
			}
			if off1 != off2 {
				t.Fatalf("Get offset mismatch: %d vs %d", off1, off2)
			}
			if (err1 == nil) != (err2 == nil) {
				t.Fatalf("Get error mismatch: %v vs %v", err1, err2)
			}
		})
	}
}

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