Function TestFuzzEachKeyHarnessCoverage

coverage_closure_test.go:18–47

============================================================================= Coverage closure tests for fuzz harness functions ============================================================================= The proof coverage tool maps requirement annotations in fuzz.go to coverage data. Fuzz functi

(t *testing.T)

// Verifies: SYS-REQ-008 [fuzz]
// MCDC SYS-REQ-008: N/A
func TestFuzzEachKeyHarnessCoverage(t *testing.T) {
	// FuzzEachKey exercises EachKey with 12 hard-coded paths against
	// arbitrary data. The function always returns 1 regardless of whether
	// paths are found. Exercise it with data that matches some paths and
	// data that matches none.

	// Case 1: well-formed JSON matching several of the hard-coded paths
	data := []byte(`{
		"name": "test",
		"order": 1,
		"nested": {"a": 1, "b": 2, "nested3": {"b": 3}},
		"nested2": {"a": 4},
		"arr": [{"b": 5}, {"b": 6}],
		"arrInt": [0, 1, 2, 3, 4, 5]
	}`)
	if got := FuzzEachKey(data); got != 1 {
		t.Fatalf("FuzzEachKey with matching paths = %d, want 1", got)
	}

	// Case 2: empty JSON object, no paths match
	if got := FuzzEachKey([]byte(`{}`)); got != 1 {
		t.Fatalf("FuzzEachKey with empty object = %d, want 1", got)
	}

	// Case 3: malformed JSON -- EachKey returns -1 internally but the
	// fuzz harness still returns 1 (it ignores the return value)
	if got := FuzzEachKey([]byte(`{`)); got != 1 {
		t.Fatalf("FuzzEachKey with malformed JSON = %d, want 1", got)
	}
}

// Verifies: SYS-REQ-010 [fuzz]
// MCDC SYS-REQ-010: delete_path_is_provided=T, delete_returns_empty_document_without_path=F => TRUE