How to achieve loop solving？

[yongxin3344520]

How to achieve loop solving like this?

Ex:

// int x;
// int y;

for (int i=0; i<x; ++i){
y++ ;
}

assert(y == 100 )

[NikolajBjorner]

the loop exit condition is y = 0.

[yongxin3344520]

Yes, you are right !
But I found that I made a mistake in the Line1 . Now I have corrected it. Let's start over again .