Merge pull request #63 from trailofbits/manticore-fix

Fixed missing default value in run_test
This commit is contained in:
Alex Groce
2018-07-12 13:41:55 -07:00
committed by GitHub
+1 -1
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: