Loop structures: Difference between revisions
Content added Content deleted
PatGarrett (talk | contribs) m (Blank line suppressed) |
(Added Dafny) |
||
Line 124: | Line 124: | ||
for( i=0; i<9; i++) |
for( i=0; i<9; i++) |
||
cout ` $i\n`; |
cout ` $i\n`; |
||
</lang> |
|||
=={{header|Dafny}}== |
|||
<lang dafny> |
|||
var i: int := 0; |
|||
while i < n |
|||
invariant 0 <= i <= n |
|||
decreases n - i |
|||
{ |
|||
i := i + 1; |
|||
} |
|||
assert i == n; |
|||
</lang> |
</lang> |
||