diff --git a/src/include/deepstate/DeepState.h b/src/include/deepstate/DeepState.h index 0fbe79f..07be2e0 100644 --- a/src/include/deepstate/DeepState.h +++ b/src/include/deepstate/DeepState.h @@ -728,7 +728,7 @@ static int DeepState_RunSingleSavedTestCase(void) { for (test = DeepState_FirstTest(); test != NULL; test = test->prev) { if (HAS_FLAG_input_which_test) { - if (strncmp(FLAGS_input_which_test, test->test_name, strlen(FLAGS_input_which_test)) == 0) { + if (strcmp(FLAGS_input_which_test, test->test_name) == 0) { break; } } else { @@ -780,7 +780,7 @@ static int DeepState_RunSingleSavedTestDir(void) { for (test = DeepState_FirstTest(); test != NULL; test = test->prev) { if (HAS_FLAG_input_which_test) { - if (strncmp(FLAGS_input_which_test, test->test_name, strlen(FLAGS_input_which_test)) == 0) { + if (strcmp(FLAGS_input_which_test, test->test_name) == 0) { break; } } else { diff --git a/src/lib/DeepState.c b/src/lib/DeepState.c index 81220d3..6328f29 100644 --- a/src/lib/DeepState.c +++ b/src/lib/DeepState.c @@ -764,7 +764,7 @@ int DeepState_Fuzz(void){ for (test = DeepState_FirstTest(); test != NULL; test = test->prev) { if (HAS_FLAG_input_which_test) { - if (strncmp(FLAGS_input_which_test, test->test_name, strlen(FLAGS_input_which_test)) == 0) { + if (strcmp(FLAGS_input_which_test, test->test_name) == 0) { break; } } else {