Skip to content

Allow true in more JML expressions#3664

Merged
wadoon merged 1 commit intoKeYProject:mainfrom
mattulbrich:fix3660
Sep 22, 2025
Merged

Allow true in more JML expressions#3664
wadoon merged 1 commit intoKeYProject:mainfrom
mattulbrich:fix3660

Commits

Commits on Sep 22, 2025