From 4a90b2a5e8b734ad611b6f22dc503e47c06b9e25 Mon Sep 17 00:00:00 2001 From: Joe Ranweiler Date: Fri, 9 Feb 2018 11:53:55 -0800 Subject: [PATCH] Skip tests with no saved cases to run --- src/include/deepstate/DeepState.h | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/include/deepstate/DeepState.h b/src/include/deepstate/DeepState.h index a47d7a5..afac5ad 100644 --- a/src/include/deepstate/DeepState.h +++ b/src/include/deepstate/DeepState.h @@ -477,8 +477,10 @@ static int DeepState_RunSavedTestCases(void) { dir_fd = opendir(test_case_dir); if (dir_fd == NULL) { - /* TODO(joe): Add error log with more info. */ - DeepState_Abandon("Unable to open directory"); + DeepState_LogFormat(DeepState_LogInfo, + "Skipping test `%s`, no saved test cases", + test->test_name); + continue; } /* Read generated test cases and run a test for each file found. */