internal static void MpiFinalize(OMini::MiniMPIProcessAPI self)
{
Console.WriteLine("MpiFinalize");
self.MpiFinalize();
}
// TODO:
// we need a wrapper for matching wildcard receive and calling Chess.Choose()
// to resolve the nondeterministic receive.
// TODO: we want some attribute on the MiniMPI Runtime to tell ER/CHESS
// not to instrument it (rather than having to hack the tests)
// INSTEAD: MiniMPI Runtime is now part of CHESS, so it should not be instrumented???
// INSTEAD: check this... not sure
internal static void MpiInit(OMini::MiniMPIProcessAPI self)
{
Console.WriteLine("MpiInit");
self.MpiInit();
}