1 #ifndef lint 2 static char vcid[] = "$Id: PetscTime.c,v 1.5 1996/03/12 23:09:14 bsmith 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 int i; 13 14 PetscInitialize(&argc, &argv,0,0); 15 /* To take care of paging effects */ 16 PetscTime(y); 17 18 for ( i=0; i<2; i++ ) { 19 PetscTime(x); 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 PetscTime(y); 29 PetscTime(y); 30 31 fprintf(stderr,"%-15s : %e sec\n","PetscTime",(y-x)/10.0); 32 } 33 PetscFinalize(); 34 return 0; 35 } 36