From 7156902758e5ecba3388b6f3609087bb8bd2a8c7 Mon Sep 17 00:00:00 2001 From: Augustin Degomme Date: Sun, 20 Mar 2022 21:41:08 +0100 Subject: [PATCH] activate pedantic mode for MBI --- teshsuite/smpi/MBI/MBI.py | 2 +- teshsuite/smpi/MBI/simgrid.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/teshsuite/smpi/MBI/MBI.py b/teshsuite/smpi/MBI/MBI.py index 9c384a4048..953e616613 100755 --- a/teshsuite/smpi/MBI/MBI.py +++ b/teshsuite/smpi/MBI/MBI.py @@ -30,7 +30,7 @@ simgrid = simgrid.Tool() (name, path, binary, filename) = sys.argv for test in parse_one_code(filename): - execcmd = test['cmd'].replace("mpirun", f"{path}/smpi_script/bin/smpirun -wrapper '{path}/bin/simgrid-mc --log=mc_safety.t:info' -platform ./cluster.xml -analyze --cfg=smpi/finalization-barrier:on --cfg=smpi/list-leaks:10 --cfg=model-check/max-depth:10000") + execcmd = test['cmd'].replace("mpirun", f"{path}/smpi_script/bin/smpirun -wrapper '{path}/bin/simgrid-mc --log=mc_safety.t:info' -platform ./cluster.xml -analyze --cfg=smpi/finalization-barrier:on --cfg=smpi/list-leaks:10 --cfg=model-check/max-depth:10000 --cfg=smpi/pedantic:true") execcmd = execcmd.replace('${EXE}', binary) execcmd = execcmd.replace('$zero_buffer', "--cfg=smpi/buffering:zero") execcmd = execcmd.replace('$infty_buffer', "--cfg=smpi/buffering:infty") diff --git a/teshsuite/smpi/MBI/simgrid.py b/teshsuite/smpi/MBI/simgrid.py index 049ece11a2..e08c7c9dd1 100644 --- a/teshsuite/smpi/MBI/simgrid.py +++ b/teshsuite/smpi/MBI/simgrid.py @@ -48,7 +48,7 @@ class Tool(AbstractTool): outfile.write(' \n') outfile.write('\n') - execcmd = execcmd.replace("mpirun", "smpirun -wrapper simgrid-mc -platform ./cluster.xml -analyze --cfg=smpi/finalization-barrier:on --cfg=smpi/list-leaks:10 --cfg=model-check/max-depth:10000") + execcmd = execcmd.replace("mpirun", "smpirun -wrapper simgrid-mc -platform ./cluster.xml -analyze --cfg=smpi/finalization-barrier:on --cfg=smpi/list-leaks:10 --cfg=model-check/max-depth:10000 --cfg=smpi/pedantic:true") if re.search("Concurrency", binary): # DPOR reduction in simgrid cannot deal with RMA calls as they contain mutexes execcmd = execcmd.replace("smpirun", "smpirun --cfg=model-check/reduction:none") execcmd = execcmd.replace('${EXE}', binary) -- 2.20.1