Skip to content

Stop Crediting an until read Loop as Bounded in the Guard - #2161

Merged
ptr727 merged 2 commits into
developfrom
feature/auto-1633
Sep 30, 2026
Merged

Stop Crediting an until read Loop as Bounded in the Guard#2161
ptr727 merged 2 commits into
developfrom
feature/auto-1633

Scope the Wait Diagram's Read Exemption to a while Loop

ea77583
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar