1 #ifndef lint 2 static char vcid[] = "$Id: PetscTime.c,v 1.4 1996/03/06 17:42:38 balay Exp bsmith $"; 3 #endif 4 5 #include "stdio.h" 6 #include "petsc.h" 7 #include "pinclude/ptime.h" 8 9 int main( int argc, char **argv) 10 { 11 double x, y; 12 13 PetscInitialize(&argc, &argv,0,0,0); 14 /* To take care of paging effects */ 15 PetscTime(y); 16 17 PetscTime(x); 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 PetscTime(y); 28 29 fprintf(stderr,"%-15s : %e sec\n","PetscTime",(y-x)/10.0); 30 PetscFinalize(); 31 return 0; 32 } 33