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 )