FabianKof
Results
1
issues of
FabianKof
## Description > Please describe your concern in detail! In JML you can't use userdefined \sorts from .key files ``` \javaSource "."; \sorts{ Tupel; } \chooseContract ``` ```java class A{...