Function TestCodeMCDC_TokenStartDirect

mcdc_code_supplement_test.go:24–42

============================================================================= Code-level MC/DC supplement tests. ============================================================================= These tests drive specific branch combinations reported as gaps by `proof mcdc report --view hotspots`. They

(t *testing.T)

// Verifies: SYS-REQ-001 [mcdc]
func TestCodeMCDC_TokenStartDirect(t *testing.T) {
	// Each input ends with the targeted delimiter byte, so tokenStart's
	// for-loop returns that index with the corresponding c != <delim>
	// operand as the independent flipper.
	cases := map[byte]int{
		'\n': tokenStart([]byte("abc\n")), // 10
		'\r': tokenStart([]byte("abc\r")), // 13
		'\t': tokenStart([]byte("abc\t")), // 9
	}
	for delim, got := range cases {
		if got != 3 {
			t.Errorf("tokenStart with trailing %q returned %d, want 3", delim, got)
		}
	}
	// Baseline row: no delimiter present, falls through to return 0.
	if got := tokenStart([]byte("abc")); got != 0 {
		t.Errorf("tokenStart(abc) = %d, want 0", got)
	}
}

// Verifies: SYS-REQ-001 [mcdc]
func TestCodeMCDC_TokenEndDirect(t *testing.T) {