DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Fix input_which_test comparison

Browse Source
This commit is contained in:
Alex David Groce
2019-02-11 12:37:51 -07:00
parent c3a187aa0f
commit 4a6d170650
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/include/deepstate/DeepState.h
View File

@@ -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 {

2
src/lib/DeepState.c
View File

@@ -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 {