From 3cab4beb768b3ff23bd6491664735815faf376af Mon Sep 17 00:00:00 2001 From: Nathan Date: Thu, 19 Sep 2019 17:33:36 -0400 Subject: [PATCH] Minor improvements to user_assertions.py --- mythril/analysis/modules/user_assertions.py | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/mythril/analysis/modules/user_assertions.py b/mythril/analysis/modules/user_assertions.py index 0c87798f..0e68475e 100644 --- a/mythril/analysis/modules/user_assertions.py +++ b/mythril/analysis/modules/user_assertions.py @@ -26,8 +26,7 @@ assertion_failed_hash = ( class UserAssertions(DetectionModule): - """This module searches for low level calls (e.g. call.value()) that - forward all gas to the callee.""" + """This module searches for user supplied exceptions: emit AssertionFailed("Error").""" def __init__(self): """""" @@ -77,7 +76,7 @@ class UserAssertions(DetectionModule): ), ).decode("utf8") - description_head = "A user-provided assertion failed. Make sure the user-provided assertion is correct." + description_head = "A user-provided assertion failed." if message: description_tail = "A user-provided assertion failed with message '{}'. Make sure the user-provided assertion is correct.".format( message