Merge pull request #726 from crytic/fix-selffilename-when-cryticcompile

fix set `self.filename` when using crytic-compile
pull/733/head
Feist Josselin 4 years ago committed by GitHub
commit b61719550d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      slither/slither.py

@ -188,7 +188,7 @@ class Slither(SlitherCore): # pylint: disable=too-many-instance-attributes
:return: List of registered printers outputs.
"""
return [p.output(self.filename).data for p in self._printers]
return [p.output(self._crytic_compile.target).data for p in self._printers]
@property
def triage_mode(self):

Loading…
Cancel
Save