real2.c

loading
details
attribute value
description
owner Johannes Waldmann
uploaded 2017-08-17 03:45:23.0
disk size 390 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 real2(int len)
 {
   //int tab[10];
   int   tmp;
   int   again;
   int   i;
 
   for (again = 1; again;)
     for (again = 0, i = 0; i < (len - 1); i++)
       {
         if (nondet() > nondet())
           {
             tmp = nondet();//tab[i];
             ;//tab[i] = tab[i + 1];
             ;//tab[i + 1] = tmp;
             again = 1;
           }
       }
 }
popout

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

actions get anonymous link download benchmark