mirror of https://github.com/crytic/slither
Merge pull request #477 from crytic/dev-summary-printer
Human summary printer: Fix information incorrectly printedpull/480/head
commit
ada646073e
Loading…
Reference in new issue