From 77e8664c97761547e494b24bb572b40015c1a407 Mon Sep 17 00:00:00 2001
From: an7s <an7s@git.zephyr-software.com>
Date: Wed, 17 Aug 2011 15:27:02 +0000
Subject: [PATCH] return error exit code when we can't produce a coverage file
 (for example if Grace doesn't generate any input/output pairs)

---
 tools/cover.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/cover.sh b/tools/cover.sh
index 63f85142b..3d27b802f 100644
--- a/tools/cover.sh
+++ b/tools/cover.sh
@@ -24,7 +24,7 @@ $SECURITY_TRANSFORMS_HOME/tools/cover/cover a.ncexe a.ncexe.annot $EXECUTED_ADDR
 grep -v "0\.0" $COVERAGE_FNS | cut -f1 -d" " > $CANDIDATE_FNS_PRE_LIBC
 grep  "0\.0" $COVERAGE_FNS | cut -f1 -d" " > $FILTERED_OUT
 
-if [ -f $COVERAGE_FNS ]; then
+if [ ! -f $COVERAGE_FNS ]; then
 	return 1
 fi
 
-- 
GitLab