Function TestPropertyDeleteIdempotent

property_test.go:561–586

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

(t *testing.T)

// reqproof:proptest parser.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
		}
		var once []byte
		assertInputUnchanged(t, raw, func() {
			once = Delete(raw, key)
		})
		var twice []byte
		assertInputUnchanged(t, once, func() {
			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