wcet1.c

contents

int nondet();

int wcet1 (int n) {
  int i,j;

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

  return 0;
}

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