From 1c69bd423beb39b6002d1b6dae68bb525f309bb0 Mon Sep 17 00:00:00 2001 From: liangmulu Date: Sat, 14 Sep 2024 00:35:54 +0800 Subject: [PATCH] chore: fix symbol error Signed-off-by: liangmulu --- mythril/laser/ethereum/state/memory.py | 2 +- tests/integration_tests/solc_settings_test.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/mythril/laser/ethereum/state/memory.py b/mythril/laser/ethereum/state/memory.py index 334c64d46..cc74097e8 100644 --- a/mythril/laser/ethereum/state/memory.py +++ b/mythril/laser/ethereum/state/memory.py @@ -86,7 +86,7 @@ def get_word_at(self, index: int) -> Union[int, BitVec]: return result def write_word_at(self, index: int, value: Union[int, BitVec, bool, Bool]) -> None: - """Writes a 32 byte word to memory at the specified index` + """Writes a 32 byte word to memory at the specified index :param index: index to write to :param value: the value to write to memory diff --git a/tests/integration_tests/solc_settings_test.py b/tests/integration_tests/solc_settings_test.py index b5fd78b8b..e142f6223 100644 --- a/tests/integration_tests/solc_settings_test.py +++ b/tests/integration_tests/solc_settings_test.py @@ -41,6 +41,6 @@ def test_negative_solc_settings(): command = f"python3 {MYTH} analyze {file_path} --solv 0.8.0" output = check_output(command, shell=True, stderr=STDOUT).decode("UTF-8") assert ( - """ParserError: Source "@openzeppelin/contracts/token/PRC20/PRC20.sol""" + """ParserError: Source "@openzeppelin/contracts/token/PRC20/PRC20.sol"""" in output )