From ca400bc2a0777ba60996df9e479d9d48bf9cff8d Mon Sep 17 00:00:00 2001
From: Alex Groce <agroce@gmail.com>
Date: Thu, 3 Jan 2019 14:52:46 -0700
Subject: [PATCH] fix so count of failed tests is correct

---
 src/include/deepstate/DeepState.h | 5 +++--
 src/lib/DeepState.c               | 4 +++-
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/src/include/deepstate/DeepState.h b/src/include/deepstate/DeepState.h
index af2ef28..c6d5d83 100644
--- a/src/include/deepstate/DeepState.h
+++ b/src/include/deepstate/DeepState.h
@@ -860,8 +860,9 @@ static int DeepState_Run(void) {
     } else {
       DeepState_Begin(test);
     }
-
-    num_failed_tests += DeepState_ForkAndRunTest(test);
+    if (DeepState_ForkAndRunTest(test) != 0) {
+      num_failed_tests++;
+    }
   }
 
   if (use_drfuzz) {
diff --git a/src/lib/DeepState.c b/src/lib/DeepState.c
index 81ca6c0..48c0c3d 100644
--- a/src/lib/DeepState.c
+++ b/src/lib/DeepState.c
@@ -701,7 +701,9 @@ int DeepState_Fuzz(void){
 			  tm.tm_year + 1900, tm.tm_mon + 1, tm.tm_mday, tm.tm_hour, tm.tm_min, tm.tm_sec, i/diff, num_failed_tests);
       last_status = diff;
     }
-    num_failed_tests += DeepState_FuzzOneTestCase(test);    
+    if (DeepState_FuzzOneTestCase(test) != 0) {
+      num_failed_tests ++;
+    }
     
     current = (long)time(NULL);
     diff = current-start;