Code

Add assert information for echidna#2560

Code

Merged

montyly merged 6 commits intodevcrytic/slither:devfrom echidna-printercrytic/slither:echidna-printerCopy head branch name to clipboardOct 24, 2024

+4-9

Commits

Commits on Sep 18, 2024

• Add assert information for echidna

  smonicas

  committed
  bf5d6d6

  Copy full SHA for bf5d6d6

• Fix function name

  smonicas

  committed
  4de824b

  Copy full SHA for 4de824b

• Lint

  smonicas

  committed
  fdf1db3

  Copy full SHA for fdf1db3

Commits on Oct 24, 2024

• Merge branch 'dev' into echidna-printer

  smonicas

  committed
  38f7136

  Copy full SHA for 38f7136

• Use the new API

  smonicas

  committed
  1bbc13b

  Copy full SHA for 1bbc13b

• Extract multiple assert in a single function

  smonicas

  committed
  537ee27

  Copy full SHA for 537ee27