From 06b2f93a4aa06ea4672d092c945f103e9248ab50 Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Thu, 21 Apr 2016 10:52:04 +0200 Subject: [PATCH] [mc] Ingnore the output of the liveness test and only expect an acceptance cycle On my compter, the exact size of the cycle depends on the compiler used (GCC 4.9 vs GCC 5.3). --- examples/msg/mc/bugged1_liveness.tesh | 1 + examples/msg/mc/bugged1_liveness_sparse.tesh | 1 + 2 files changed, 2 insertions(+) diff --git a/examples/msg/mc/bugged1_liveness.tesh b/examples/msg/mc/bugged1_liveness.tesh index cf0b574ec6..53442c9920 100644 --- a/examples/msg/mc/bugged1_liveness.tesh +++ b/examples/msg/mc/bugged1_liveness.tesh @@ -2,6 +2,7 @@ ! expect return 2 ! timeout 20 +! ignore output $ ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/bugged1_liveness ${srcdir:=.}/../../platforms/platform.xml ${srcdir:=.}/deploy_bugged1_liveness.xml --log=xbt_cfg.thresh:warning "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n" --cfg=contexts/factory:ucontext --cfg=contexts/stack_size:256 --cfg=model-check/property:promela_bugged1_liveness > [ 0.000000] (0:maestro@) Check the liveness property promela_bugged1_liveness > [ 0.000000] (2:client@Boivin) Ask the request diff --git a/examples/msg/mc/bugged1_liveness_sparse.tesh b/examples/msg/mc/bugged1_liveness_sparse.tesh index 83220aa1ff..d91a7ce841 100644 --- a/examples/msg/mc/bugged1_liveness_sparse.tesh +++ b/examples/msg/mc/bugged1_liveness_sparse.tesh @@ -2,6 +2,7 @@ ! expect return 2 ! timeout 20 +! ignore output $ ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/bugged1_liveness ${srcdir:=.}/../../platforms/platform.xml ${srcdir:=.}/deploy_bugged1_liveness.xml --log=xbt_cfg.thresh:warning "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n" --cfg=contexts/factory:ucontext --cfg=contexts/stack_size:256 --cfg=model-check/sparse_checkpoint:yes --cfg=model-check/property:promela_bugged1_liveness > [ 0.000000] (0:maestro@) Check the liveness property promela_bugged1_liveness > [ 0.000000] (2:client@Boivin) Ask the request -- 2.20.1