counterex1c.c

loading
details
attribute value
description
owner Johannes Waldmann
uploaded 2017-08-17 03:45:23.0
disk size 388 Bytes
downloadable true
type
attribute value
name no_type
processor id 1
description this is the default benchmark type for rejected benchmarks and benchmarks that are not associated with a type.
owning community none
loading contents
int nondet();

int counterex1c(int n,int b,int x,int y)
{

  while (x>=0 && 0<=y && y<=n) {
    if (b==0) {
      y++;                      /* transition t1 */
      if (nondet()>0) b=1;        /* transition t3 */
    }
    else if (b==1) {
      y--;                      /* transition t2 */
      if (nondet()>0) {x--; b=0;} /* transition t4 */
    }
    else break;
  }
  return 0;
}

popout

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

actions get anonymous link download benchmark