speedSingleSingle.c

contents

int nondet();

int speedSingleSingle(int n)
{
  int x;
  x=0;
  while (x<n)
    {
      if (nondet()>0) x++ ; else x++;  
    }
  return 0;
}

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