fix set `self.filename` when using crytic-compile#726

Merged

montyly merged 2 commits intodevfrom fix-selffilename-when-cryticcompile

Dec 15, 2020

+1-1

Commits on Dec 13, 2020

fix set self.filename when using crytic-compile
Alexander Remie
committed

Commits on Dec 14, 2020

use self._crytic_compile.target instead of self.filename
Alexander Remie
committed