#include <petsc.h>
#include "pism/util/pism_options.hh"
#include "pism/util/Grid.hh"
#include "pism/util/io/File.hh"
#include "pism/verification/BTU_Verification.hh"
#include "pism/energy/BTU_Minimal.hh"
#include "pism/util/Time.hh"
#include "pism/util/ConfigInterface.hh"
#include "pism/verification/tests/exactTestK.h"
#include "pism/util/petscwrappers/PetscInitializer.hh"
#include "pism/util/error_handling.hh"
#include "pism/util/io/io_helpers.hh"
#include "pism/util/Context.hh"
#include "pism/util/EnthalpyConverter.hh"
#include "pism/util/MaxTimestep.hh"
#include "pism/util/Logger.hh"
Go to the source code of this file.
|
std::shared_ptr< pism::Context > | btutest_context (MPI_Comm com, const std::string &prefix) |
| Allocate the PISMV (verification) context. Uses ColdEnthalpyConverter. More...
|
|
int | main (int argc, char *argv[]) |
|