X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/539916de848562683cf2e5425d5160c2a43f135a..20617cf3b759fbd35ddc68d0aee2965e8379c98b:/examples/msg/mc/bugged1_liveness_stack_cleaner?ds=sidebyside

diff --git a/examples/msg/mc/bugged1_liveness_stack_cleaner b/examples/msg/mc/bugged1_liveness_stack_cleaner
index 2f372b629b..cb32fc81a8 100755
--- a/examples/msg/mc/bugged1_liveness_stack_cleaner
+++ b/examples/msg/mc/bugged1_liveness_stack_cleaner
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env sh
 # Run the same test compiled with -fstack-cleaner / f-no-stack-cleaner
 # and compare the output.
 
@@ -32,9 +32,9 @@ run() {
   timeout 30s ${bindir:=.}/bugged1_liveness_cleaner_$state \
     ${srcdir:=.}/../../platforms/platform.xml \
     ${srcdir:=.}/deploy_bugged1_liveness.xml \
-    --cfg=model-check:1 "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n" \
+    "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n" \
     --cfg=contexts/factory:ucontext \
-    --cfg=contexts/stack_size:256
+    --cfg=contexts/stack-size:256
   assert 'test $? = 134'
 }