Function TestOracleGetRoundTrip

reference_oracle_test.go:454–490

--------------------------------------------------------------------------- Property 1: Get round-trip — jsonparser.Get matches encoding/json. --------------------------------------------------------------------------- reqproof:proptest Get Verifies: SYS-REQ-001 [property]

(t *testing.T)

// reqproof:proptest Get
// Verifies: SYS-REQ-001 [property]
func TestOracleGetRoundTrip(t *testing.T) {
	r := oracleNewRNG(oracleSeed)
	const iterations = 10000
	for i := 0; i < iterations; i++ {
		raw, v := oracleRandomJSONBytes(r, 3)
		// Walk the tree to pick a path that exists.
		path, expected := pickExistingPath(r, v)
		var got []byte
		var dt ValueType
		var gerr error
		func() {
			defer func() {
				if rec := recover(); rec != nil {
					t.Fatalf("Get panicked on input %q path=%v: %v", raw, path, rec)
				}
			}()
			got, dt, _, gerr = Get(raw, path...)
		}()
		if !compareGetToOracle(got, dt, gerr, expected) {
			t.Fatalf("Get diverges from oracle on input %q path=%v:\n  got=(%q, %v, err=%v)\n  want=%v",
				raw, path, got, dt, gerr, expected)
		}
	}
	// Also: Get on a missing path MUST NOT panic. Sample adversarial paths.
	for i := 0; i < 1000; i++ {
		raw, v := oracleRandomJSONBytes(r, 2)
		path := pickAdversarialPath(r, v)
		func() {
			defer func() {
				if rec := recover(); rec != nil {
					t.Fatalf("Get panicked on adversarial input %q path=%v: %v", raw, path, rec)
				}
			}()
			_, _, _, _ = Get(raw, path...)
		}()
	}
}

// ---------------------------------------------------------------------------
// Property 2: Set append/replace — Set then Get returns the set value.