Actual source code: PetscGetTime.c

      2: #include <petscsys.h>
      3: #include <petsctime.h>

      5: int main(int argc,char **argv)
      6: {
      7:   PetscLogDouble x,y;
      8:   PetscInt       i;

     11:   PetscInitialize(&argc,&argv,0,0);if (ierr) return ierr;
     12:   /* To take care of paging effects */
     13:   PetscTime(&y);

     15:   for (i=0; i<2; i++) {
     16:     PetscTime(&x);
     17:     PetscTime(&y);
     18:     PetscTime(&y);
     19:     PetscTime(&y);
     20:     PetscTime(&y);
     21:     PetscTime(&y);
     22:     PetscTime(&y);
     23:     PetscTime(&y);
     24:     PetscTime(&y);
     25:     PetscTime(&y);
     26:     PetscTime(&y);
     27:     fprintf(stdout,"%-15s : %e sec\n","PetscTime",(y-x)/10.0);
     28:   }

     30:   PetscFinalize();
     31:   return ierr;
     32: }