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)
--- /dev/null
+#!/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