Merge pull request #196 from JoranHonig/bugfix/report

Bugfix reporting non solidity projects
pull/205/head
Bernhard Mueller 7 years ago committed by GitHub
commit 34744d59a3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      mythril/mythril.py

@ -327,7 +327,7 @@ class Mythril(object):
for issue in issues:
issue.add_code_info(contract)
all_issues += issues
all_issues += issues
# Finally, output the results
report = Report(verbose_report)

Loading…
Cancel
Save