Covered the semaphore services' trace inserts in every system state

2026-09-15T19:08:21Z

The eight in-line trace inserts in the counting semaphore services were reached in one system state only, so each scored one or five of the twelve branch outcomes the macro carries. A new regression test walks the eight services once per condition the macro distinguishes: thread context with every event enabled, the semaphore trace event class filtered out, interrupt context through the test ISR dispatch, initialization context, the state an interrupt presents, and a positioned buffer wrap with and without a buffer-full notification registered. The forced-state passes drive the internal entry points, because the error checking shell rejects a create from an interrupt and a delete from any caller that is not a thread, so the inserts behind those two cannot be reached through the published ones. Every semaphore insert now scores twelve of twelve, and the subsystem is at 356/356 lines and 340/340 branches. Merged over the six build configurations: 4304/4339 lines and 4300/4627 branches, up 80 outcomes, with the branch gate raised to 92.50 to hold them. Assisted-by: Claude Code (Opus 5)

threadx.git/test/tx/regression/threadx_semaphore_trace_test.c, branch v6.4.1_cert

Covered the semaphore services' trace inserts in every system state