chore: fix some typos in comments (#1855)

Signed-off-by: alwayshang <zhanghonghao@outlook.com>
pull/1857/head
alwayshang 7 months ago committed by GitHub
parent 66eaa147d4
commit a4f51d0af7
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
  1. 4
      mythril/laser/plugin/plugins/summary/core.py
  2. 2
      tests/testdata/concolic_io/multi_contract_example.sol
  3. 2
      tests/testdata/concolic_io/two_contract.sol

@ -301,13 +301,13 @@ class SymbolicSummaryPlugin(LaserPlugin):
new_issue = copy(issue_annotation.issue) new_issue = copy(issue_annotation.issue)
new_issue.transaction_sequence = tx_seq new_issue.transaction_sequence = tx_seq
issue_annotation.detector.issues += [new_issue] issue_annotation.detector.issues += [new_issue]
addresss = ( address = (
issue_annotation.issue.source_location or issue_annotation.issue.address issue_annotation.issue.source_location or issue_annotation.issue.address
) )
self.issue_cache.add( self.issue_cache.add(
( (
issue_annotation.detector.swc_id, issue_annotation.detector.swc_id,
addresss, address,
get_code_hash(global_state.environment.code.bytecode), get_code_hash(global_state.environment.code.bytecode),
) )
) )

@ -2,7 +2,7 @@ pragma solidity 0.8.6;
/** /**
* @title Storage * @title Storage
* @dev Store & retreive value in a variable * @dev Store & retrieve value in a variable
*/ */
contract D1 { contract D1 {

@ -2,7 +2,7 @@ pragma solidity 0.8.6;
/** /**
* @title Storage * @title Storage
* @dev Store & retreive value in a variable * @dev Store & retrieve value in a variable
*/ */
contract D1 { contract D1 {

Loading…
Cancel
Save