Merge branch 'develop' into bounded_loops

6 years ago · bf7127c459
parent caa1da47e9 770b964340
commit bf7127c459
1 changed files with 0 additions and 2 deletions
--- a/mythril/analysis/modules/exceptions.py
+++ b/mythril/analysis/modules/exceptions.py
@ -18,8 +18,6 @@ def _analyze_state(state) -> list:
    :param state:
    :return:
    """
-    log.info("Exceptions module: found ASSERT_FAIL instruction")
-
    log.debug("ASSERT_FAIL in function " + state.environment.active_function_name)

    try: