1 files changed, 2 insertions, 1 deletions
diff --git a/test/Feature/consecutive_divide_by_zero.c b/test/Feature/consecutive_divide_by_zero.c
index c2f5e152..0915bbaa 100644
--- a/test/Feature/consecutive_divide_by_zero.c
+++ b/test/Feature/consecutive_divide_by_zero.c
@@ -25,7 +25,8 @@ int main() {
   // CHECK: consecutive_divide_by_zero.c:[[@LINE+1]]: divide by zero
   unsigned int result2 = b / d2;
 
-  // CHECK: completed paths = 3
+  // CHECK: completed paths = 1
+  // CHECK: partially completed paths = 2
   // CHECK: generated tests = 3
   return 0;
 }