loudly fail when asked to replay a non-existing file

diff --git a/src/smpi/smpi_replay.cpp b/src/smpi/smpi_replay.cpp
index ada1fec..e226821 100644 (file)
--- a/src/smpi/smpi_replay.cpp
+++ b/src/smpi/smpi_replay.cpp
@@ -106,6 +106,7 @@ static MPI_Datatype decode_datatype(const char *const action)
       break;
     default:
       MPI_CURRENT_TYPE=MPI_DEFAULT_TYPE;
+      break;
   }
    return MPI_CURRENT_TYPE;
 }

diff --git a/src/xbt/xbt_replay.cpp b/src/xbt/xbt_replay.cpp
index 408c7f4..86f8c7c 100644 (file)
--- a/src/xbt/xbt_replay.cpp
+++ b/src/xbt/xbt_replay.cpp
@@ -34,7 +34,9 @@ class ReplayReader {
 public:
   explicit ReplayReader(const char* filename)
   {
-    fs = new std::ifstream(filename, std::ifstream::in);
+         XBT_VERB("Prepare to replay file '%s'", filename);
+         fs = new std::ifstream(filename, std::ifstream::in);
+         xbt_assert(fs->is_open(), "Cannot read file %s", filename);
   }
   ~ReplayReader()
   {