diff --git a/src/include/deepstate/DeepState.h b/src/include/deepstate/DeepState.h index 03376c0..374e3cd 100644 --- a/src/include/deepstate/DeepState.h +++ b/src/include/deepstate/DeepState.h @@ -55,7 +55,8 @@ DEEPSTATE_BEGIN_EXTERN_C DECLARE_string(input_test_dir); DECLARE_string(output_test_dir); -DECLARE_string(take_over); + +DECLARE_bool(take_over); enum { DeepState_InputSize = 8192 diff --git a/src/lib/DeepState.c b/src/lib/DeepState.c index 3361455..7fe5de4 100644 --- a/src/lib/DeepState.c +++ b/src/lib/DeepState.c @@ -30,7 +30,8 @@ DEFINE_uint(num_workers, 1, DEFINE_string(input_test_dir, "", "Directory of saved tests to run."); DEFINE_string(output_test_dir, "", "Directory where tests will be saved."); -DEFINE_string(take_over, "", "Replay test cases in take-over mode."); + +DEFINE_bool(take_over, false, "Replay test cases in take-over mode."); /* Pointer to the last registers DeepState_TestInfo data structure */ struct DeepState_TestInfo *DeepState_LastTestInfo = NULL;