- a way to compare current output with some base one - a way to assert presence/absence of panic in general, bound checks, etc. - a way to assert presence of vectorization