TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'develop' into integer_experimental

Browse Source
integer_experimental
Bernhard Mueller 6 years ago
parent c710d0a27d 770b964340
commit 5a77ba9fa9
1 changed files with 0 additions and 2 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 2
      mythril/analysis/modules/exceptions.py

2
mythril/analysis/modules/exceptions.py
Unescape View File

@ -18,8 +18,6 @@ def _analyze_state(state) -> list:
:param state: :param state:
:return: :return:
""" """
log.info("Exceptions module: found ASSERT_FAIL instruction")
log.debug("ASSERT_FAIL in function " + state.environment.active_function_name) log.debug("ASSERT_FAIL in function " + state.environment.active_function_name)
try: try:

Write Preview
Loading…
Cancel
Save