Име на инварианта: Обхождане на масив а
Kатегория: Обхождане

Описание:
for (i = 0; i < a.lenght; i++)

Изглед на инварианта:
for (var i = 0; i < a.length; i++) {
}

Пемплейт:
for (var <span class="is2_var">i</span> = 0; <span class="is2_var">i</span> &lt; <span class="is2_var">a</span>.length; <span class="is2_var">i</span>++) {<div class="is2_inv"></div>}