Skip to content

Support for multi-catch-clauses in try-statements#3919

Open
wadoon wants to merge 1 commit into
mainfrom
weigl/catchmulti
Open

Support for multi-catch-clauses in try-statements#3919
wadoon wants to merge 1 commit into
mainfrom
weigl/catchmulti

add MultiCatch transformation to KeY

5ef3ab5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
checkerFramework
succeeded Jul 13, 2026 in 2m 16s