Skip to content

Support for try-with-resources by reduction #3918

Open
wadoon wants to merge 6 commits into
mainfrom
weigl/trywithresources
Open

Support for try-with-resources by reduction #3918
wadoon wants to merge 6 commits into
mainfrom
weigl/trywithresources

Make Closeable subtype of AutoCloseable, move addSuppressed to Throwable

da61fda
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
integration-tests (testRunAllWdProofs, ubuntu-latest, 21)
succeeded Jul 13, 2026 in 5m 57s