From 4ccbf812a79a1577f9d125f46ad168d34d3371a5 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Mon, 25 Mar 2013 22:37:39 +0100 Subject: [PATCH] model-checker : ignore variable about time used with tracing --- src/mc/mc_global.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c index 38118a9dc9..025dfe02de 100644 --- a/src/mc/mc_global.c +++ b/src/mc/mc_global.c @@ -216,6 +216,9 @@ void MC_init(){ MC_ignore_stack("next_context", "smx_ctx_sysv_suspend_serial"); MC_ignore_stack("i", "smx_ctx_sysv_suspend_serial"); + /* Ignore local variable about time used for tracing */ + MC_ignore_stack("start_time", "*"); + MC_ignore_data_bss(&mc_comp_times, sizeof(mc_comp_times)); MC_ignore_data_bss(&mc_snapshot_comparison_time, sizeof(mc_snapshot_comparison_time)); MC_ignore_data_bss(&mc_time, sizeof(mc_time)); -- 2.20.1