assertion: asercja > Dodaj do ulubionych Predykat definiujący stan programu w określonym punkcie wykonywania lub zbiór warunków, które muszą być w określonym momencie wykonywania programu spełnione.
