assertion

Also known as assertion statement

in computer programming, statement that a predicate is always true at that point in code execution