wir bekommen bei der Verwendung von KeY ständig Parse Errors beim öffnen von JML Dateien aus denen wir einfach nicht schlau werden. Ein Beispiel ist als Screenshot angehängt. Die betreffende Code Zeile sieht in etwa so aus:
Code: Alles auswählen
//@ ... (\forall ...; ...; arr[0].length == arr[y].length); */
^
|
Spalte 86, erstes Zeichen des ArrayNamens
Alex