diff --git a/bin/deepstate/main_angr.py b/bin/deepstate/main_angr.py
index 46e3b66..a35bd58 100644
--- a/bin/deepstate/main_angr.py
+++ b/bin/deepstate/main_angr.py
@@ -283,7 +283,7 @@ def do_run_test(project, test, apis, run_state, should_call_state):
   mc = DeepAngr(state=test_state)
 
   # Tell the system that we're using symbolic execution.
-  mc.write_uint32_t(apis["UsingSymExec"], 1)
+  mc.write_uint32_t(apis["UsingSymExec"], 8589934591)
   
   mc.begin_test(test)
   del mc
diff --git a/bin/deepstate/main_manticore.py b/bin/deepstate/main_manticore.py
index 1621963..26d6672 100644
--- a/bin/deepstate/main_manticore.py
+++ b/bin/deepstate/main_manticore.py
@@ -337,7 +337,7 @@ def do_run_test(state, apis, test, hook_test=False):
   mc = DeepManticore(state)
 
   # Tell the system that we're using symbolic execution.
-  mc.write_uint32_t(apis["UsingSymExec"], 1)
+  mc.write_uint32_t(apis["UsingSymExec"], 8589934591)
 
   mc.begin_test(test)
   del mc