#include "petsc.h"

static char help[] = "Test petscInitialize and Finalize for memory leaks\n\n";

#undef __FUNCT__
#define __FUNCT__ "main"
int main( int argc, char **argv )
{
  PetscErrorCode ierr;

  PetscInitialize(&argc,&argv,(char*)0,help);
  ierr = PetscFinalize();CHKERRQ(ierr);
  return 0;
}