|
|
|
@ -651,15 +651,18 @@ def main_impl(all_detector_classes, all_printer_classes): |
|
|
|
|
|
|
|
|
|
except SlitherException as se: |
|
|
|
|
output_error = str(se) |
|
|
|
|
traceback.print_exc() |
|
|
|
|
logging.error(red('Error:')) |
|
|
|
|
logging.error(red(output_error)) |
|
|
|
|
logging.error('Please report an issue to https://github.com/crytic/slither/issues') |
|
|
|
|
|
|
|
|
|
except Exception: |
|
|
|
|
output_error = traceback.format_exc() |
|
|
|
|
logging.error(traceback.print_exc()) |
|
|
|
|
logging.error('Error in %s' % args.filename) |
|
|
|
|
logging.error(output_error) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# If we are outputting JSON, capture the redirected output and disable the redirect to output the final JSON. |
|
|
|
|
if outputting_json: |
|
|
|
|
if 'console' in args.json_types: |
|
|
|
|