exclusive_phases.c

loading
details
attribute value
description
owner Akihisa Yamada
uploaded 2020-06-20 22:52:00.0
disk size 126 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 ex_paper1(int i,int n,int fwd){

 while(0<i && i<n){
   if(fwd>0)
     ++i;
   else
     --i;
 }
  
   
}
popout

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

actions get anonymous link download benchmark