assertion

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

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

श्रेणियाँ:

statement