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