path: root/tests/sources/0505_loop_rel2.c

int N = rand(0,1000);
int x = 0;
while (x < N) {
  print(x,N);
  x = x + rand(0,3);
}
assert(x>=N && x<N+3);