From dd0fdc27ed2efbe411f55a524d789bcacea21fe1 Mon Sep 17 00:00:00 2001
From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com>
Date: Thu, 12 Jul 2018 17:38:14 -0300
Subject: [PATCH] Fixed missing default value in run_test

This small fix will enables Manticore to work properly as a backend.
---
 bin/deepstate/main_manticore.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/deepstate/main_manticore.py b/bin/deepstate/main_manticore.py
index 8aa6861..08b2f47 100644
--- a/bin/deepstate/main_manticore.py
+++ b/bin/deepstate/main_manticore.py
@@ -344,7 +344,7 @@ def do_run_test(state, apis, test, hook_test=False):
   m.run()
 
 
-def run_test(state, apis, test, hook_test):
+def run_test(state, apis, test, hook_test=False):
   try:
     do_run_test(state, apis, test, hook_test)
   except: