speedSingleSingle2.c

contents

int nondet();

int speedSingleSingle2(int n,int m)
{
  int x,y;
  if(n<0 || m <0) return 0;
  x=0;y=0;
  while (nondet()>0)
    {
      if (x<n) {x++;y++;} 
      else if (y<m) {x++;y++;}
      else break;
    }
  return 0;
}

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