Content deleted Content added
No edit summary |
LucasBrown (talk | contribs) Changing short description from "In computer programming, statement that a predicate is always true at that point in code execution" to "Statement that a predicate is always true at that point in code execution" |
||
| (One intermediate revision by one other user not shown) | |||
Line 1:
{{
{{About|the computer programming concept|assertions in the context of the [[Security Assertion Markup Language]] (SAML) open standard|Security Assertion Markup Language#Assertions}}
Line 9:
The following code contains two assertions, <code>x > 0</code> and <code>x > 1</code>, and they are indeed true at the indicated points during execution:
<syntaxhighlight lang="
x = 1;
assert x > 0;
| |||