From 89ceafcea6c6e7a332c9ee93370d7aa26482be12 Mon Sep 17 00:00:00 2001
From: Alex Groce <agroce@gmail.com>
Date: Fri, 27 Jul 2018 17:10:43 -0700
Subject: [PATCH] initialize options

---
 src/lib/DeepState.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/lib/DeepState.c b/src/lib/DeepState.c
index 6e01212..c7bfcfd 100644
--- a/src/lib/DeepState.c
+++ b/src/lib/DeepState.c
@@ -551,6 +551,7 @@ extern int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) {
   
   struct DeepState_TestInfo *test = NULL;
 
+  DeepState_InitOptions(0, "");  
   DeepState_Setup();
 
 #ifdef LIBFUZZER_WHICH_TEST