Revalidate the tesh output of mutex-MC. The mutex IDs were changed for the same traces

[simgrid.git] / examples / python / exec-basic / exec-basic.tesh

diff --git a/examples/python/exec-basic/exec-basic.tesh b/examples/python/exec-basic/exec-basic.tesh
index ce25f09b9dd11e34a801434da4bf184c57a15b62..9ff77d943dc5781cd309c3251b1b08ce3b256ad7 100644 (file)
--- a/examples/python/exec-basic/exec-basic.tesh
+++ b/examples/python/exec-basic/exec-basic.tesh
@@ -1,6 +1,6 @@
 #!/usr/bin/env tesh
 
-p Start remote processes 
-$ python3 ${srcdir}/exec-basic.py ${platfdir}/small_platform.xml 
+p Start remote actors
+$ ${pythoncmd:=python3} ${PYTHON_TOOL_OPTIONS:=} ${srcdir}/exec-basic.py ${platfdir}/small_platform.xml
 > [Tremblay:privileged:(2) 0.001500] [python/INFO] Done.
 > [Tremblay:executor:(1) 0.002000] [python/INFO] Done.