From 0b82d4e4099be912954a3373b23584aa6036878a Mon Sep 17 00:00:00 2001
From: Joe Ranweiler <joe@lemma.co>
Date: Wed, 14 Feb 2018 12:30:14 -0800
Subject: [PATCH] Run saved .crash test cases in native harness

---
 src/include/deepstate/DeepState.h | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/src/include/deepstate/DeepState.h b/src/include/deepstate/DeepState.h
index 06ef3e3..f917928 100644
--- a/src/include/deepstate/DeepState.h
+++ b/src/include/deepstate/DeepState.h
@@ -364,8 +364,17 @@ static bool IsTestCaseFile(const char *name) {
     return false;
   }
 
-  if (strcmp(suffix, ".pass") == 0 || strcmp(suffix, ".fail") == 0) {
-    return true;
+  const char *extensions[] = {
+    ".pass",
+    ".fail",
+    ".crash",
+  };
+  const size_t ext_count = sizeof(extensions) / sizeof(char *);
+
+  for (size_t i = 0; i < ext_count; i++) {
+    if (!strcmp(suffix, extensions[i])) {
+      return true;
+    }
   }
 
   return false;