Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Improve echidna printer perf #2064

Merged
merged 11 commits into from
Oct 13, 2023
Prev Previous commit
Next Next commit
Keep tests contract in the echidna printer
Echidna might need constant from the tests themselves ;)
montyly committed Oct 13, 2023
commit 0362e0023e4278014cba0d3363596f34db11de46
2 changes: 1 addition & 1 deletion slither/printers/guidance/echidna.py
Original file line number Diff line number Diff line change
@@ -32,7 +32,7 @@
from slither.slithir.operations.binary import Binary
from slither.slithir.variables import Constant, ReferenceVariable
from slither.utils.output import Output
from slither.utils.tests_pattern import is_test_contract

Check warning on line 35 in slither/printers/guidance/echidna.py

GitHub Actions / Lint Code Base

W0611: Unused is_test_contract imported from slither.utils.tests_pattern (unused-import)
from slither.visitors.expression.constants_folding import ConstantFolding, NotConstant


@@ -404,7 +404,7 @@
_filename(string)
"""

contracts = [c for c in self.slither.contracts if not is_test_contract(c)]
contracts = self.slither.contracts

payable = _extract_payable(contracts)
timestamp = _extract_solidity_variable_usage(