Aserțiunilor nu le pasă dacă codul tău este lipsit de erori. Le pasă dacă rezultatul încalcă invarianții protocolului. Simplu ca.
197