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: