ループ不変 ふへん しきじゃなかった
rūpufuhenshikijanakatta

Noun
Da Copula

The past negative form of ループ不変式

1. Wasn't a loop invariant.

Past/Perfective
Negative
Computing