Tippfehler in der Aufgabenstellung zu Lab 3

Minker
Windoof-User
Windoof-User
Beiträge: 25
Registriert: 28. Sep 2009 16:11

Tippfehler in der Aufgabenstellung zu Lab 3

Beitrag von Minker »

Leider gibt es in der Aufgabenstellung zur Aufgabe 3.1 von Lab 3 einen kleinen Fehler im Kontrakt der Methode performBinarySearch().
Es muss "@ ensures \result != -1 && numbers[\result] == query;" statt "@ ensures result != -1 && numbers[\result] == query;" heißen. (Es fehlt also der Backslash vor dem ersten "result").
Eine korrigierte Version der Aufgabenstellung wird in Kürze verfügbar sein, ihr könnt diese Zeile aber auch selbst ersetzen.

Nathan Wasser
Kernelcompilierer
Kernelcompilierer
Beiträge: 430
Registriert: 16. Okt 2009 09:48

Re: Tippfehler in der Aufgabenstellung zu Lab 3

Beitrag von Nathan Wasser »

Die Datei wurde nun aktualisiert.

Antworten

Zurück zu „Archiv“