Function TestMCDC_SYS_REQ_010_Row3_PathProvided

coverage_closure_test.go:123–139

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

(t *testing.T)

// Verifies: SYS-REQ-010 [boundary]
// MCDC SYS-REQ-010: delete_path_is_provided=T, delete_returns_empty_document_without_path=F => TRUE
func TestMCDC_SYS_REQ_010_Row3_PathProvided(t *testing.T) {
	// Witness row 3: path IS provided, but delete_returns_empty_document
	// is FALSE (irrelevant when path is provided). The formula evaluates
	// to TRUE because the first disjunct (delete_path_is_provided) is TRUE.
	//
	// Drive this by calling Delete with a valid path on well-formed JSON.
	data := []byte(`{"a":1,"b":2}`)
	result := Delete(data, "a")
	if len(result) == 0 {
		t.Fatal("Delete with valid path returned empty, want non-empty")
	}
	// Verify "a" was actually removed
	_, _, _, err := Get(result, "a")
	if err != KeyPathNotFoundError {
		t.Fatalf("expected key 'a' to be deleted, got err = %v", err)
	}
}