Code

add tool slither-interface#1898

Code

Merged

montyly merged 5 commits intocrytic:devcrytic/slither:devfrom 0xGusMcCrae:slither-interface0xGusMcCrae/slither:slither-interfaceCopy head branch name to clipboardMay 16, 2023

+358

Commits

Commits on May 8, 2023

• add tool slither-interface

  0xGusMcCrae

  committed
  92c06c4

Commits on May 9, 2023

• add interface to ci.yml

  0xGusMcCrae

  committed
  3861ea3

• resolve pragma version causing tests to fail

  0xGusMcCrae

  committed
  279f1cb

Commits on May 11, 2023

• fix incorrect files in test error message

  0xGusMcCrae

  committed
  d4b041a

• add --strip-trailing-cr to diff

  0xGusMcCrae

  committed
  6fbb366