Theorietestat #4: SumMatrix

Benutzeravatar
SophiaLi1
Kernelcompilierer
Kernelcompilierer
Beiträge: 542
Registriert: 5. Jan 2014 11:48

Theorietestat #4: SumMatrix

Beitrag von SophiaLi1 » 23. Jun 2017 16:46

Hallo,
In 4.1 steht bei den Nachbedingungen der inneren Schleife:
Der Eingabeparameter sum wurde um die Summe der Einträge der Matrix mit Zeilenindex n erhöht.
Ich denke, dass einmal statt n eher a gemeint ist und dass es etwas komisch/missverständlich formuliert ist. Besserer Vorschlag: "Der Eingabeparameter sum wurde um die Summe der Einträge der Zeile a der Matrix M erhöht."

invariant
Mausschubser
Mausschubser
Beiträge: 65
Registriert: 6. Mai 2017 19:01

Re: Theorietestat #4: SumMatrix

Beitrag von invariant » 24. Jun 2017 13:23

Hallo,

ja der Index sollte a lauten. Ist in der neuen Version korrigiert.

Gruß

Antworten

Zurück zu „Archiv“