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'
}