Skip to content

fixes #3670: KeY does not know that enum constants are non-null - #3676

Open
mattulbrich wants to merge 5 commits into
mainfrom
fix3670
Open

fixes #3670: KeY does not know that enum constants are non-null#3676
mattulbrich wants to merge 5 commits into
mainfrom
fix3670

moved enumOrdinal function so it is found during JML parsing

aa13bfe
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
formatting
succeeded Jun 29, 2026 in 56s