Function TestCodeMCDC_DeleteTrailingCommaRemoval

mcdc_supplement_test.go:495–511

============================================================================= Code MC/DC gap closure tests ============================================================================= Verifies: SYS-REQ-035 [boundary] Code MC/DC gap: parser.go:810 Delete Drive nextToken(remainedValue) > -1 to TRUE s

(t *testing.T)

// conjunction are evaluated. This requires deleting the last field in an
// object where a trailing comma precedes the closing brace.
func TestCodeMCDC_DeleteTrailingCommaRemoval(t *testing.T) {
	// Delete the last key "b" from {"a":1,"b":2}.
	// After removing "b":2, remainedValue starts with "}", nextToken > -1,
	// remainedValue[nextToken] == '}', and data[prevTok] == ','.
	// This exercises the TRUE branch of the conjunction at line 810.
	got := string(Delete([]byte(`{"a":1,"b":2}`), "b"))
	if got != `{"a":1}` {
		t.Fatalf("Delete trailing comma removal = %q, want %q", got, `{"a":1}`)
	}

	// Also test deleting a middle key so the conjunction is FALSE
	// (nextToken > -1 is TRUE but remainedValue[nextToken] != '}').
	got2 := string(Delete([]byte(`{"a":1,"b":2,"c":3}`), "b"))
	if got2 != `{"a":1,"c":3}` {
		t.Fatalf("Delete middle key = %q, want %q", got2, `{"a":1,"c":3}`)
	}
}

// Verifies: SYS-REQ-001 [boundary]
// Code MC/DC gap: parser.go:325 searchKeys