Function TestPropertyDeleteIdempotent

property_test.go:454–473

--------------------------------------------------------------------------- Property: Delete is idempotent (Delete twice == Delete once) --------------------------------------------------------------------------- reqproof:proptest Delete Verifies: SYS-REQ-034 [property]

(t *testing.T)

// reqproof:proptest Delete
// Verifies: SYS-REQ-034 [property]
func TestPropertyDeleteIdempotent(t *testing.T) {
	r := newRNG(jsonSeed + 6)
	const iterations = 500
	for i := 0; i < iterations; i++ {
		raw, obj := randomObjectJSONBytes(r, 1)
		var key string
		for k := range obj {
			key = k
			break
		}
		if key == "" {
			continue
		}
		once := Delete(raw, key)
		twice := Delete(once, key)
		if !bytes.Equal(once, twice) {
			t.Fatalf("Delete not idempotent on input %q key=%q: once=%q twice=%q", raw, key, once, twice)
		}
	}
}

// ---------------------------------------------------------------------------
// Property: searchKeys is deterministic and bounded on arbitrary bytes