teshsuite/smpi/coll-allreduce-with-leaks/mc-coll-allreduce-with-leaks.tesh

   1 # Smpi Allreduce collectives tests
   2 ! output sort
   3
   4 p Test allreduce
   5 $ $VALGRIND_NO_LEAK_CHECK ${bindir:=.}/../../../smpi_script/bin/smpirun -wrapper "${bindir:=.}/../../../bin/simgrid-mc" -map -hostfile ../hostfile_coll -platform  ${platfdir:=.}/small_platform.xml -np 4 --log=xbt_cfg.thres:critical ${bindir:=.}/coll-allreduce-with-leaks --log=smpi_config.thres:warning --cfg=smpi/display-analysis:yes --cfg=smpi/simulate-computation:no --log=smpi_coll.thres:error --log=smpi_mpi.thres:error --log=smpi_pmpi.thres:error
   6 > [rank 0] -> Tremblay
   7 > [rank 1] -> Tremblay
   8 > [rank 2] -> Tremblay
   9 > [rank 3] -> Tremblay
  10 > [0.000000] [mc_safety/INFO] Check a safety property. Reduction is: dpor.
  11 > [0.000000] [mc_safety/INFO] Executed transitions = 484
  12 > [0.000000] [mc_safety/INFO] Expanded states = 63
  13 > [0.000000] [mc_safety/INFO] No property violation found.
  14 > [0.000000] [mc_safety/INFO] Visited states = 500