random2d.c

loading
details
attribute value
description
owner Johannes Waldmann
uploaded 2017-08-17 03:45:23.0
disk size 291 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 random2d(int N) {
  int x;
  int y;
  int i;
  int r;


  x=0;
  y=0;
  i=0;
  while (i<N) {
    i=i+1;
    r=nondet(); 
    if (r>=0 && r<=3) {
    	if (r==0) x=x+1; else
    	if (r==1) x=x-1; else
    	if (r==2) y=y+1; else
    	if (r==3) y=y-1;
    }
  }
  return 0;
}
popout

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

actions get anonymous link download benchmark