let user know if they try to run a nonexistent test

This commit is contained in:
Alex Groce
2018-07-25 15:35:38 -07:00
parent 0a9ee0bbc6
commit 4b639f4e61
+7
View File
@@ -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);