Function oracleSetValue

reference_oracle_test.go:499–506

--------------------------------------------------------------------------- Property 2: Set append/replace — Set then Get returns the set value. This is the test that WOULD HAVE CAUGHT PR #286's bug. --------------------------------------------------------------------------- oracleSetValue returns a

(r *mathrand.Rand)

// oracleSetValue returns a JSON-encoded value suitable for passing to Set.
// Drawn from the same rich generator as the documents themselves.
func oracleSetValue(r *mathrand.Rand) []byte {
	v := oracleRandomJSONValue(r, 0)
	b, err := json.Marshal(v)
	if err != nil {
		return []byte(`null`)
	}
	return b
}

// reqproof:proptest Set
// Verifies: SYS-REQ-009 [property]