From 97d0c1587cf21d3cb46ebff6ec6ef0c50f8acc48 Mon Sep 17 00:00:00 2001 From: Frederic Suter Date: Tue, 10 Mar 2020 14:52:14 +0100 Subject: [PATCH] less test this example afterall --- examples/s4u/CMakeLists.txt | 4 +--- .../mc-electric-fence/s4u-mc-electric-fence.tesh | 15 +++++++++++++++ 2 files changed, 16 insertions(+), 3 deletions(-) create mode 100644 examples/s4u/mc-electric-fence/s4u-mc-electric-fence.tesh diff --git a/examples/s4u/CMakeLists.txt b/examples/s4u/CMakeLists.txt index dd8c4e2e76..ee5fd7b8ba 100644 --- a/examples/s4u/CMakeLists.txt +++ b/examples/s4u/CMakeLists.txt @@ -20,15 +20,13 @@ if(WIN32) set(_maestro-set_disable 1) endif() -foreach (example mc-failing-assert) +foreach (example mc-failing-assert mc-electric-fence) if(NOT SIMGRID_HAVE_MC) set(_${example}_disable 1) endif() set(_${example}_factories "ucontext;raw;boost") endforeach() -set(_mc-electric-fence_disable 1) - if(SIMGRID_HAVE_NS3) add_executable (s4u-network-ns3 EXCLUDE_FROM_ALL network-ns3/s4u-network-ns3.cpp) target_link_libraries(s4u-network-ns3 simgrid) diff --git a/examples/s4u/mc-electric-fence/s4u-mc-electric-fence.tesh b/examples/s4u/mc-electric-fence/s4u-mc-electric-fence.tesh new file mode 100644 index 0000000000..35b9790e5a --- /dev/null +++ b/examples/s4u/mc-electric-fence/s4u-mc-electric-fence.tesh @@ -0,0 +1,15 @@ +#!/usr/bin/env tesh + +$ ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/s4u-mc-electric-fence platform.xml +> [0.000000] [mc_safety/INFO] Check a safety property. Reduction is: dpor. +> [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent! +> [HostA:server:(1) 0.000000] [electric_fence/INFO] OK +> [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent! +> [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent! +> [HostA:server:(1) 0.000000] [electric_fence/INFO] OK +> [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent! +> [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent! +> [0.000000] [mc_safety/INFO] No property violation found. +> [0.000000] [mc_safety/INFO] Expanded states = 15 +> [0.000000] [mc_safety/INFO] Visited states = 32 +> [0.000000] [mc_safety/INFO] Executed transitions = 27 -- 2.20.1