use get_unique_data()

[simgrid.git] / examples / sthread / pthread-mutex-simple.tesh

diff --git a/examples/sthread/pthread-mutex-simple.tesh b/examples/sthread/pthread-mutex-simple.tesh
index 00827cbed41f74e0218cb8105cb752de6275f641..29d66a92df9731b668c1256f1605d4ff13b6a8d6 100644 (file)
--- a/examples/sthread/pthread-mutex-simple.tesh
+++ b/examples/sthread/pthread-mutex-simple.tesh
@@ -1,7 +1,7 @@
-$ ./pthread-mutex-simple
+$ env ASAN_OPTIONS=verify_asan_link_order=0:$ASAN_OPTIONS LD_PRELOAD=${libdir:=.}/libsthread.so ./pthread-mutex-simple
 > [0.000000] [sthread/INFO] Starting the simulation.
-> The first thread is terminating.
 > All threads are started.
-> The second thread is terminating.
+> The thread 0 is terminating.
+> The thread 1 is terminating.
 > User's main is terminating.
-> [0.000000] [sthread/INFO] All threads exited. Terminating the simulation.
\ No newline at end of file
+> [0.000000] [sthread/INFO] All threads exited. Terminating the simulation.