Function TestCodeMCDC_CreateInsertComponentEmptyKey

mcdc_code_supplement_test.go:129–137

----------------------------------------------------------------------------- createInsertComponent / calcAllocateSpace — direct call to drive the `len(keys[i]) > 0` short-circuit gap with an empty intermediate key. ----------------------------------------------------------------------------- Verifi

(t *testing.T)

// Verifies: SYS-REQ-009 [mcdc]
func TestCodeMCDC_CreateInsertComponentEmptyKey(t *testing.T) {
	// Direct invocation with an empty-string intermediate key drives the
	// `len(keys[i]) > 0` operand to F.
	keys := []string{"a", "", "b"}
	got := createInsertComponent(keys, []byte(`42`), false, false)
	if len(got) == 0 {
		t.Fatal("expected non-empty result from createInsertComponent")
	}
}

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