less test this example afterall

diff --git a/examples/s4u/CMakeLists.txt b/examples/s4u/CMakeLists.txt
index dd8c4e2..ee5fd7b 100644 (file)
--- 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 (file)
index 0000000..35b9790
--- /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