Fixed missing default value in run_test

This small fix will enables Manticore to work properly as a backend.
This commit is contained in:
ggrieco-tob 2018-07-12 17:38:14 -03:00 committed by GitHub
parent 5495877f08
commit dd0fdc27ed
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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: