Loopus2014_ex1.c

loading
details
attribute value
description
owner Johannes Waldmann
uploaded 2017-08-17 03:45:23.0
disk size 204 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();


void Loopus2014_ex1(int n){
int a = n, b = 0;
while (a > 0){
	a--; b++;
	while (b > 0){
		b--;
		for (int i = n-1; i > 0; i--)
			if (a > 0 && nondet()>0){
				a--; b++;
			}  
		} 
	 }
}
popout

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

actions get anonymous link download benchmark