Code

add regression test for #2313#2321

Code

Merged

0xalpharush merged 4 commits intodevcrytic/slither:devfrom test/modifier-data-dependencycrytic/slither:test/modifier-data-dependencyCopy head branch name to clipboardFeb 20, 2024

+25

Commits

Commits on Oct 24, 2023

• added update reachability to modifiers

  Tiko7454

  authored
  c1a1675

• Update modifier.py

  Show description for 0994edf
  Tiko7454

  authored
  0994edf

Commits on Feb 13, 2024

• Merge branch 'crytic:dev' into dev

  Tiko7454

  authored
  044c6be

Commits on Feb 20, 2024

• add regression test for #2313

  0xalpharush

  committed
  052a30a