speed_pldi10_ex1.c

contents

int nondet();

void speed_pldi10_ex1(int n)
{
  int i;
  int j;

  i=0;
  while (i<n) {
    j=i+1;
    while (j<n) {
      if (nondet()>0) {
        j=j-1;
        n=n-1;
      }
      j=j+1;
    }
    i=i+1;
  }
}

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