Skip to content

extractor: sound throw-routing for using / finally-only-try bodies (onThrowDefinite)#160

Merged
PhysShell merged 2 commits into
mainfrom
claude/mos-ownership-summary-n3q3j4
Jun 28, 2026
Merged

extractor: sound throw-routing for using / finally-only-try bodies (onThrowDefinite)#160
PhysShell merged 2 commits into
mainfrom
claude/mos-ownership-summary-n3q3j4

corpus: model Guard in using-statement-throw-releases case.own (CodeR…

c0fae36
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar