Code

Exclude location for printer output#2427

Code

Open

DarkaMaul wants to merge 6 commits intodevcrytic/slither:devfrom features/exclude-locationcrytic/slither:features/exclude-locationCopy head branch name to clipboard

+3,408-29

Commits

Commits on Apr 16, 2024

• Exclude location for printer output

  Show description for bdfef7a
  DarkaMaul

  committed
  bdfef7a

Commits on Jun 5, 2024

• Fix type info

  DarkaMaul

  committed
  69e45f4

• Merge branch 'dev' into features/exclude-location

  Show description for 2b0242a
  DarkaMaul

  committed
  2b0242a

• Update tests to run them on every detectors.

  DarkaMaul

  committed
  95d5609

Commits on Jun 11, 2024

• Merge branch 'dev' into features/exclude-location

  DarkaMaul

  authored
  a0850cd

• Disable too many lines

  DarkaMaul

  committed
  4e52ab0