Fix wrong error marker for Imrecv local concurrency tests

This marks MPI_Imrecv as error source instead of the MPI_Mprobe call for the local concurrency issue.

Before:

  if (rank == 0) {
    /*MBBERROR_BEGIN*/ MPI_Mprobe(1, 0, MPI_COMM_WORLD, &mpi_message_0, MPI_STATUS_IGNORE);  /*MBBERROR_END*/
    MPI_Imrecv(buf, 10, MPI_INT, &mpi_message_0,
                                  &mpi_request_0);
    /*MBBERROR_BEGIN*/ buf[2] = 1;                 /*MBBERROR_END*/
    MPI_Wait(&mpi_request_0, MPI_STATUS_IGNORE);
  }

After:

  if (rank == 0) {
    MPI_Mprobe(1, 0, MPI_COMM_WORLD, &mpi_message_0, MPI_STATUS_IGNORE);
    /*MBBERROR_BEGIN*/ MPI_Imrecv(buf, 10, MPI_INT, &mpi_message_0,
                                  &mpi_request_0); /*MBBERROR_END*/
    /*MBBERROR_BEGIN*/ buf[2] = 1;                 /*MBBERROR_END*/
    MPI_Wait(&mpi_request_0, MPI_STATUS_IGNORE);
  }

scripts/errors/pt2pt/LocalConcurrency.py

@@ -55,9 +55,14 @@ class LocalConcurrencyErrorP2P(ErrorGenerator):
             if check_receive:
                 kind = 0
             conflicting_inst.set_rank_executing(kind)
-            for c in tm.get_instruction("MPICALL", return_list=True):
-                if c.get_rank_executing() == kind:
-                    c.set_has_error()
+
+            if recv_func != "mpi_imrecv":
+                for c in tm.get_instruction("MPICALL", return_list=True):
+                    if c.get_rank_executing() == kind:
+                        c.set_has_error()
+            else:
+                tm.get_instruction("MATCHEDRECEIVE").set_has_error()
+
 
             for c in tm.get_instruction("WAIT", return_list=True):
                 if c.get_rank_executing() == kind: