path: root/tests/sources/0503_loop_nondet.c

int x = 0;
while (rand(0,1) == 0) {
  print(x);
  x = x + 1;
}