Exempel på assert som eftervillkor?
Läser nu om assert, men har svårt att förstå hur det skulle funka som eftervillkor. T.ex. att man skriver 1/0 och sen efter att programmet har läst in det så ger den ett felmeddelande för att man delar med 0. Makear inte sense. Har ni något exempel?
Sådant som ger fel innan man kommer till asserten är det ingen större idé att ha en assert för. Däremot kan man t.ex. testa egenskaper hos sina datastrukturer. Om man har en funktion som delar upp en lista A i två listor B och C enligt något kriterium kan man t.ex. kolla efteråt att len(A) = len(B)+len(C).
I alla fall antar jag att det är sådant man tänker på.
Använder assert ibland som förvillkor i korta script. Har aldrig använt assert som eftervillkor i koden. Dock kan man skriva enkla testprogram med hjälp av assert och det skulle man kanske kunna kalla eftervillkor?
