DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Fix flag decl and defs

Browse Source
This commit is contained in:
Joe Ranweiler
2018-02-08 14:16:16 -08:00
parent 1f3a4a982d
commit c6eca451c5
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -48,8 +48,8 @@
DEEPSTATE_BEGIN_EXTERN_C
DECLARE_string(output_test_dir);
DECLARE_string(input_test_dir);
DECLARE_string(output_test_dir);
/* Return a symbolic value of a given type. */
extern int DeepState_Bool(void);

2
src/lib/DeepState.c
View File

@@ -28,7 +28,7 @@ DEEPSTATE_BEGIN_EXTERN_C
DEFINE_uint(num_workers, 1,
"Number of workers to spawn for testing and test generation.");
DEFINE_string(input_test_dir, "", "Directory where tests will be saved.");
DEFINE_string(input_test_dir, "", "Directory of saved tests to run.");
DEFINE_string(output_test_dir, "", "Directory where tests will be saved.");
/* Pointer to the last registers DeepState_TestInfo data structure */