From 1a42ca3470656e2ff7284e0f03ecaf7512bd1307 Mon Sep 17 00:00:00 2001 From: mlaurent Date: Wed, 7 Jun 2023 17:03:32 +0200 Subject: [PATCH] Fix CI tests --- examples/smpi/mc/only_send_deterministic.tesh | 2 +- examples/smpi/mc/sendsend.tesh | 22 +------------------ 2 files changed, 2 insertions(+), 22 deletions(-) diff --git a/examples/smpi/mc/only_send_deterministic.tesh b/examples/smpi/mc/only_send_deterministic.tesh index 0e54fa6ca9..5a20784397 100644 --- a/examples/smpi/mc/only_send_deterministic.tesh +++ b/examples/smpi/mc/only_send_deterministic.tesh @@ -10,4 +10,4 @@ $ $VALGRIND_NO_LEAK_CHECK ../../../smpi_script/bin/smpirun -wrapper "${bindir:=. > [0.000000] [mc_comm_determinism/INFO] The recv communications pattern of the actor 0 is different! Different source for communication #1 > [0.000000] [mc_comm_determinism/INFO] Send-deterministic : Yes > [0.000000] [mc_comm_determinism/INFO] Recv-deterministic : No -> [0.000000] [mc_dfs/INFO] DFS exploration ended. 242 unique states visited; 67 backtracks (303 transition replays, 612 states visited overall) +> [0.000000] [mc_dfs/INFO] DFS exploration ended. 134 unique states visited; 25 backtracks (75 transition replays, 234 states visited overall) diff --git a/examples/smpi/mc/sendsend.tesh b/examples/smpi/mc/sendsend.tesh index f93185ccfa..08ea4b20e2 100644 --- a/examples/smpi/mc/sendsend.tesh +++ b/examples/smpi/mc/sendsend.tesh @@ -8,35 +8,15 @@ $ $VALGRIND_NO_LEAK_CHECK ../../../smpi_script/bin/smpirun -quiet -wrapper "${bi > Sent 1 to rank 0 > rank 0 recv the data > rank 1 recv the data -> Sent 0 to rank 1 -> Sent 1 to rank 0 -> rank 0 recv the data -> rank 1 recv the data -> Sent 0 to rank 1 -> Sent 1 to rank 0 -> rank 1 recv the data -> rank 0 recv the data -> Sent 1 to rank 0 -> Sent 0 to rank 1 -> rank 0 recv the data -> rank 1 recv the data > Sent 1 to rank 0 > Sent 0 to rank 1 > rank 0 recv the data > rank 1 recv the data > Sent 1 to rank 0 > Sent 0 to rank 1 -> rank 1 recv the data -> rank 0 recv the data -> Sent 1 to rank 0 -> Sent 0 to rank 1 > rank 0 recv the data > rank 1 recv the data -> Sent 1 to rank 0 -> Sent 0 to rank 1 -> rank 1 recv the data -> rank 0 recv the data -> [0.000000] [mc_dfs/INFO] DFS exploration ended. 30 unique states visited; 7 backtracks (19 transition replays, 56 states visited overall) +> [0.000000] [mc_dfs/INFO] DFS exploration ended. 18 unique states visited; 2 backtracks (1 transition replays, 21 states visited overall) p Testing the paranoid model ! timeout 60 -- 2.20.1