diff --git a/tools/cover.sh b/tools/cover.sh
index 63f85142b8f687a3f1779e2e98e3a83735865acb..3d27b802f743cb80505cda3a15c6f4c875594d75 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