TheDude
/
slither
mirror of https://github.com/crytic/slither
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Minor

Browse Source
pull/348/head
Josselin 5 years ago
parent f81ff8f196
commit 7756c0e5e0
1 changed files with 1 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 2
      tests/check-upgradeability/test_5.txt

2
tests/check-upgradeability/test_5.txt
Unescape View File

@ -1,7 +1,7 @@
INFO:CheckInitialization:Run initialization checks... (see https://github.com/crytic/slither/wiki/Upgradeability-Checks#initialization-checks)
INFO:CheckInitialization:Contract_lack_to_call_modifier.initialize() does not call initializer
INFO:CheckInitialization:Missing call to Contract_no_bug.initialize() in Contract_not_called_super_init
INFO:CheckInitialization:Contract_no_bug.initialize() is called multiples time in Contract_double_call
INFO:CheckInitialization:Contract_no_bug.initialize() is called multiple times in Contract_double_call
INFO:CheckInitialization:Check the deployement script to ensure that these functions are called:
Contract_no_bug needs to be initialized by initialize()
Contract_lack_to_call_modifier needs to be initialized by initialize()

Write Preview
Loading…
Cancel
Save