断言
assertion
中文定义
一种布尔表达式，当且仅当软件正确执行时，其计算结果才为真。
English Definition
A Boolean expression that is expected to evaluate to true if and only if the software executes correctly.
assertion
一种布尔表达式，当且仅当软件正确执行时，其计算结果才为真。
A Boolean expression that is expected to evaluate to true if and only if the software executes correctly.