Skip to content

Commit

Permalink
Fix bug in resolving log message of user assertion (#1784)
Browse files Browse the repository at this point in the history
  • Loading branch information
bre4kpo1nt authored Jul 4, 2023
1 parent 96c3ecd commit 1f330ef
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion mythril/analysis/module/modules/user_assertions.py
Original file line number Diff line number Diff line change
Expand Up @@ -76,7 +76,7 @@ def _analyze_state(self, state: GlobalState):
mem_start.value + 32 : mem_start.value + size.value
]
),
).decode("utf8")
)
except:
pass
try:
Expand Down

0 comments on commit 1f330ef

Please # to comment.