From 5074262584cf7be1afee98f1344ae47131313c7e Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Tue, 27 Feb 2018 16:10:25 +0700 Subject: [PATCH] Remove debugging info from report --- mythril/analysis/report.py | 3 --- 1 file changed, 3 deletions(-) diff --git a/mythril/analysis/report.py b/mythril/analysis/report.py index 09b82ca5..34c81db6 100644 --- a/mythril/analysis/report.py +++ b/mythril/analysis/report.py @@ -66,9 +66,6 @@ class Report: if issue.code: text += "\n\n" + issue.code + "\n\n--------------------\n" - if len(issue.debug): - text += "++++ Debugging info ++++\n" + issue.debug + "\n" - text+="\n" return text