Skip to content

Commit

Permalink
lint
Browse files Browse the repository at this point in the history
  • Loading branch information
@daejunpark
daejunpark committed Aug 23, 2024
1 parent 8d9befd commit f60bada
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/halmos/sevm.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -45,9 +45,9 @@
# TODO: make this configurable
MAX_MEMORY_SIZE = 2**20

FOUNDRY_CALLER = 0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38
FOUNDRY_CALLER = 0x1804C8AB1F12E6BBF3894D4083F33E07309D1F38
FOUNDRY_ORIGIN = FOUNDRY_CALLER
FOUNDRY_TEST = 0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496
FOUNDRY_TEST = 0x7FA9385BE102AC3EAC297483DD6233D62B3E1496

# (pc, (jumpdest, ...))
# the jumpdests are stored as strings to avoid the cost of converting bv values
Expand Down

0 comments on commit f60bada

Please sign in to comment.