Function assertAfterStep

path_fuzz_test.go:522–535

assertAfterStep runs the post-step invariants: no panic (caught above), json.Valid (when input was valid + shape matches), and the per-step sequence assertion (passed in as `check`).

(t *testing.T, label string, state []byte, path []string, check func(t *testing.T, state []byte))

// json.Valid (when input was valid + shape matches), and the per-step
// sequence assertion (passed in as `check`).
func assertAfterStep(t *testing.T, label string, state []byte, path []string, check func(t *testing.T, state []byte)) {
	t.Helper()
	if len(state) == 0 {
		return
	}
	if !json.Valid(state) {
		t.Errorf("%s produced invalid JSON (OUTPUT-VALIDITY violation): state=%q path=%v",
			label, state, path)
		return
	}
	if check != nil {
		check(t, state)
	}
}

// FuzzSequence runs multi-operation sequences against a single JSON document.
//