Verification Results

Generated from a real make coverage run — not hand-maintained. Statement and condition (MC/DC) coverage measured with GCC; requirements trace in the traceability matrix.

PASS — all requirements-based tests passed; 100% statement and 100% condition (MC/DC) coverage.

run 2026-09-14 01:19 UTC checks 2479 failures 0 lines 543 conditions 374

Requirements-based tests

Suite	Tests	Checks	Result
`sc_sat`	8	20	PASS
`sc_fixed`	7	37	PASS
`sc_crc`	5	16	PASS
`sc_hysteresis`	11	35	PASS
`sc_ringbuf`	9	74	PASS
`sc_ratelimit`	10	55	PASS
`sc_lut`	6	20	PASS
`sc_debounce`	6	29	PASS
`sc_sm`	7	38	PASS
`sc_sched`	4	24	PASS
`sc_cobs`	6	1081	PASS
`sc_pid`	8	835	PASS
`sc_median`	9	93	PASS
`sc_vote`	9	69	PASS
`sc_watchdog`	9	53	PASS

Structural coverage

File	Lines	Line %	Conditions	MC/DC %
`src/sc_cobs.c`	58	100.0%	38	100.0%
`src/sc_crc.c`	33	100.0%	24	100.0%
`src/sc_debounce.c`	26	100.0%	18	100.0%
`src/sc_fixed.c`	48	100.0%	24	100.0%
`src/sc_hysteresis.c`	27	100.0%	20	100.0%
`src/sc_lut.c`	27	100.0%	22	100.0%
`src/sc_median.c`	38	100.0%	30	100.0%
`src/sc_pid.c`	43	100.0%	22	100.0%
`src/sc_ratelimit.c`	38	100.0%	24	100.0%
`src/sc_ringbuf.c`	59	100.0%	28	100.0%
`src/sc_sat.c`	14	100.0%	16	100.0%
`src/sc_sched.c`	30	100.0%	24	100.0%
`src/sc_sm.c`	31	100.0%	24	100.0%
`src/sc_vote.c`	42	100.0%	40	100.0%
`src/sc_watchdog.c`	29	100.0%	20	100.0%