that bug is fixed now

diff --git a/teshsuite/bug-17132/CMakeLists.txt b/teshsuite/bug-17132/CMakeLists.txt
index 84e79b1..0fe354b 100644 (file)
--- a/teshsuite/bug-17132/CMakeLists.txt
+++ b/teshsuite/bug-17132/CMakeLists.txt
@@ -13,7 +13,6 @@ endif(enable_smpi)
 set(tesh_files
   ${tesh_files}
   ${CMAKE_CURRENT_SOURCE_DIR}/bug-17132.tesh
-  ${CMAKE_CURRENT_SOURCE_DIR}/bug-17132-surf-debug.tesh
   PARENT_SCOPE)
 set(teshsuite_src
   ${teshsuite_src}
@@ -22,5 +21,4 @@ set(teshsuite_src
 set(txt_files
   ${txt_files}
   ${CMAKE_CURRENT_SOURCE_DIR}/hostfile.txt
-  ${CMAKE_CURRENT_SOURCE_DIR}/README
   PARENT_SCOPE)

diff --git a/teshsuite/bug-17132/README b/teshsuite/bug-17132/README
deleted file mode 100644 (file)
index 22e35b9..0000000
--- a/teshsuite/bug-17132/README
+++ /dev/null
@@ -1,8 +0,0 @@
-This is the bug #17132 described on gforge [1]. This small SMPI code
-triggers an issue in SURF, which is still to be debugged.
-
-The problem seems to be related to the order of events, as changing it
-(with another platform or another message size or a MPI_barrier in
-between) fixes the problem.
-
-[1] https://gforge.inria.fr/tracker/index.php?func=detail&aid=17132&group_id=12&atid=165
\ No newline at end of file

diff --git a/teshsuite/bug-17132/bug-17132-surf-debug.tesh b/teshsuite/bug-17132/bug-17132-surf-debug.tesh
deleted file mode 100644 (file)
index c089cff..0000000
--- a/teshsuite/bug-17132/bug-17132-surf-debug.tesh
+++ /dev/null
@@ -1,2 +0,0 @@
-! output ignore
-$ ../../smpi_script/bin/smpirun -np 16 -platform ${srcdir:=.}/../../examples/platforms/small_platform.xml -hostfile ${srcdir:=.}/hostfile.txt ./bug-17132 --cfg=smpi/cpu_threshold:-1 --log=surf.thres:debug

diff --git a/teshsuite/bug-17132/bug-17132.c b/teshsuite/bug-17132/bug-17132.c
index 9cd6985..469066b 100644 (file)
--- a/teshsuite/bug-17132/bug-17132.c
+++ b/teshsuite/bug-17132/bug-17132.c
@@ -4,6 +4,8 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
+/* Bug report: https://gforge.inria.fr/tracker/index.php?func=detail&aid=17132&group_id=12&atid=165 */
+ 
 #include "xbt/log.h"
 #include <stdio.h>
 #include <mpi.h>