sonar: reinterpret_cast is OK in jMSG

[simgrid.git] / examples / msg / mc / bugged1_liveness_stack_cleaner

diff --git a/examples/msg/mc/bugged1_liveness_stack_cleaner b/examples/msg/mc/bugged1_liveness_stack_cleaner
index 2f372b629b7d9f0386b86cfbea449a49bd80b722..a1619a47a885ae448fd222937f4d7dee36964e78 100755 (executable)
--- a/examples/msg/mc/bugged1_liveness_stack_cleaner
+++ b/examples/msg/mc/bugged1_liveness_stack_cleaner
@@ -32,7 +32,7 @@ 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
   assert 'test $? = 134'