Tags: Genre, Music Genre, Topical Concept.
In computer programming an assertion is a predicate (a true–false statement) placed in a program to indicate that the developer thinks that the predicate is always true at that place. If an assertion evaluates to false at run-time an assertion failure results which typically causes execution to abort.