From 49adb8e0c2d1a9c12832fc38eaf3f69df9f6fab1 Mon Sep 17 00:00:00 2001
From: breakpo1nt <zhangyuyao.1996@outlook.com>
Date: Mon, 3 Jul 2023 17:38:53 +0800
Subject: [PATCH] Fix bug in resolving log message of user assertion
---
mythril/analysis/module/modules/user_assertions.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/mythril/analysis/module/modules/user_assertions.py b/mythril/analysis/module/modules/user_assertions.py
index a45d53bf0..c72072553 100644
--- a/mythril/analysis/module/modules/user_assertions.py
+++ b/mythril/analysis/module/modules/user_assertions.py
@@ -76,7 +76,7 @@ def _analyze_state(self, state: GlobalState):
mem_start.value + 32 : mem_start.value + size.value
]
),
- ).decode("utf8")
+ )
except:
pass
try: