Anonymous user
Loop structures: Difference between revisions
Added Dafny
PatGarrett (talk | contribs) m (Blank line suppressed) |
(Added Dafny) |
||
Line 124:
for( i=0; i<9; i++)
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>
| |||