Loopus2015_ex1.c

contents

int nondet();

void Loopus2015_ex1(int n) {
 int x = n;
 int r = 0;
 while(x > 0) {
  x = x - 1;
  r = r + 1;
  if(nondet()>0) {
   int p = r;
   while(p > 0)
     p--;
   r = 0;
  }
 } 
}

content may be truncated. 'popout' for larger text window.