DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

add options for replay of single file

Browse Source
This commit is contained in:
Alex Groce
2018-07-25 12:33:53 -07:00
parent 9f959ac8bd
commit a9fef3157f
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/DeepState.c
View File

@@ -29,6 +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_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.");