Repair text template

6 years ago · 567ad712a7
parent 480e7d5665
commit 567ad712a7
1 changed files with 6 additions and 1 deletions
--- a/mythril/analysis/templates/report_as_text.jinja2
+++ b/mythril/analysis/templates/report_as_text.jinja2
@ -16,8 +16,13 @@ In file: {{ issue.filename }}:{{ issue.lineno }}

 {{ issue.code }}

+--------------------
 {% endif %}
-{% if issue.debug %}
+{% if verbose and issue.debug %}
+--------------------
+DEBUGGING INFORMATION:
+
+{{ issue.debug }}
 {% endif %}

 {% endfor %}