From 739ca4abca6cd70782a265f72fbe824c887f42ba Mon Sep 17 00:00:00 2001 From: bdr7fv <bdr7fv@git.zephyr-software.com> Date: Fri, 18 May 2012 13:53:35 +0000 Subject: [PATCH] Coreutil test Makefile turns off watchdog. Former-commit-id: e58f7666f1bea1ee7d4c31906bd83c7318608a0a --- tests/coreutils/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/coreutils/Makefile b/tests/coreutils/Makefile index c5f4b75ae..d53122af0 100644 --- a/tests/coreutils/Makefile +++ b/tests/coreutils/Makefile @@ -1,6 +1,6 @@ progs=cat_nop.peasoup cat_O3.peasoup ls_nop.peasoup ls_O3.peasoup bzip2_nop.peasoup bzip2_O2.peasoup bzip2_O3_black.peasoup bzip2_O3_white.peasoup ls_O3_black.peasoup rm_O3_black.peasoup tail_O3_black.peasoup rmdir_O3_black.peasoup readlink_O3_black.peasoup pr_O3_black.peasoup mkdir_O3_black.peasoup ln_O3_black.peasoup install_O3_black.peasoup du_O3_black.peasoup df_O3_black.peasoup dd_O3_black.peasoup cp_O3_black.peasoup chown_O3_black.peasoup chmod_O3_black.peasoup chgrp_O3_black.peasoup touch_O3_black.peasoup mv_O3_black.peasoup -ps_analyze_flags="--step ilr=off --step integertransform=off --step manual_test=on --step concolic=off --step isr=off" +ps_analyze_flags="--step ilr=off --step integertransform=off --step manual_test=on --step concolic=off --step isr=off --step heaprand=off --step double_free=off --step watchdog=off" ps_analyze_concolic_flags="--step ilr=off --step integertransform=off --step manual_test=off --step concolic=off --step isr=off" -- GitLab