chore: fix symbol error

Signed-off-by: liangmulu <liangmulu@outlook.com>
pull/1882/head
liangmulu 2 months ago
parent 8201bfd75f
commit 1c69bd423b
  1. 2
      mythril/laser/ethereum/state/memory.py
  2. 2
      tests/integration_tests/solc_settings_test.py

@ -86,7 +86,7 @@ class Memory:
return result return result
def write_word_at(self, index: int, value: Union[int, BitVec, bool, Bool]) -> None: 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 index: index to write to
:param value: the value to write to memory :param value: the value to write to memory

@ -41,6 +41,6 @@ def test_negative_solc_settings():
command = f"python3 {MYTH} analyze {file_path} --solv 0.8.0" command = f"python3 {MYTH} analyze {file_path} --solv 0.8.0"
output = check_output(command, shell=True, stderr=STDOUT).decode("UTF-8") output = check_output(command, shell=True, stderr=STDOUT).decode("UTF-8")
assert ( assert (
"""ParserError: Source "@openzeppelin/contracts/token/PRC20/PRC20.sol""" """ParserError: Source "@openzeppelin/contracts/token/PRC20/PRC20.sol""""
in output in output
) )

Loading…
Cancel
Save