Asercje nie obchodzi, czy twój kod jest wolny od błędów. Obchodzi je, czy wynik narusza inwarianty protokołu. Proste jak to.
188