Asercím nezáleží na tom, zda je váš kód bez chyb. Zajímá je, zda výsledek porušuje invarianty protokolu. Jednoduché jako.
163