Skip to content

Merge the default optional postcondition for exception into the map of exceptions#950

Merged
strub merged 1 commit intomainfrom
improve-post-exceptions
Mar 30, 2026
Merged

Merge the default optional postcondition for exception into the map of exceptions#950
strub merged 1 commit intomainfrom
improve-post-exceptions

Commits

Commits on Mar 30, 2026