C²oBra — for_bounded

tests/demo_test_files/for_bounded_loop1.c | Generated: 2026-04-21 18:49

Total branches

Covered branches

80.0%

Branch coverage

Uncovered branches

Branch Coverage 8/10 branches — 80.0%

Analytics

Branch Coverage Breakdown

Full / Partial / Not covered

Coverage by Branch Type

% edges covered per construct

Test Run Statuses

Outcome of each test case

Test Inputs

Branch Details

ID	Line	Type	True hits	False hits	Status
12	7	`if` T: if (true)\|F: no else (false)	0	0	NONE
13	10	`if` T: if (true)\|F: no else (false)	1	3	FULL
14	21	`if` T: if (true)\|F: no else (false)	1	2	FULL
15	22	`for`	2	1	FULL
16	27	`if` T: if (true)\|F: no else (false)	1	1	FULL