From 4b639f4e61ca784ec7486e68fd9c10cc64025658 Mon Sep 17 00:00:00 2001
From: Alex Groce <agroce@gmail.com>
Date: Wed, 25 Jul 2018 15:35:38 -0700
Subject: [PATCH] let user know if they try to run a nonexistent test

---
 src/include/deepstate/DeepState.h | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/include/deepstate/DeepState.h b/src/include/deepstate/DeepState.h
index ff0c1d8..cd0be96 100644
--- a/src/include/deepstate/DeepState.h
+++ b/src/include/deepstate/DeepState.h
@@ -609,6 +609,13 @@ static int DeepState_RunSingleSavedTestCase(void) {
     }
   }
 
+  if (test == NULL) {
+    DeepState_LogFormat(DeepState_LogInfo,
+                        "Could not find matching test for %s",
+                        FLAGS_input_which_test);
+    return 0;
+  }
+
   enum DeepState_TestRunResult result =
     DeepState_RunSavedTestCase(test, "", FLAGS_input_test_file);