assertion

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

en-US/əˈsɝʃən/
en-GB/əˈsɜːʃən/

카테고리:

statement