Code

feat/disable start#1461

Code

Merged

montyly merged 4 commits intocrytic:devcrytic/slither:devfrom mds1:feat/disable-startmds1/slither:feat/disable-startCopy head branch name to clipboardNov 28, 2022

+63-2

Commits

Commits on Nov 8, 2022

• feat: add slither-disable-start/end

  mds1

  committed
  afd242c

• refactor: pull out ignore comment parsing for pylint

  mds1

  committed
  47b8cb8

• style: run black

  mds1

  committed
  4108671

• refactor: type fix, array to tuple

  mds1

  committed
  4608cef