DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

hope fixes help order, and lets you know when test is default

Browse Source
This commit is contained in:
Alex Groce 2018-07-25 15:52:08 -07:00
parent 4b639f4e61
commit dd27ac8b95
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -605,6 +605,8 @@ static int DeepState_RunSingleSavedTestCase(void) {
break;
}
} else {
DeepState_LogFormat(DeepState_LogInfo,
"No test specified, defaulting to first test");
break;
}
}

2
src/lib/DeepState.c
View File

@ -29,8 +29,8 @@ DEFINE_uint(num_workers, 1,
"Number of workers to spawn for testing and test generation.");
DEFINE_string(input_test_dir, "", "Directory of saved tests to run.");
DEFINE_string(input_which_test, "", "Test to use with --input_test_file.");
DEFINE_string(input_test_file, "", "Saved test to run.");
DEFINE_string(input_which_test, "", "Test that saved file is for.");
DEFINE_string(output_test_dir, "", "Directory where tests will be saved.");
DEFINE_bool(take_over, false, "Replay test cases in take-over mode.");