Code

Improve echidna printer perf#2064

Code

Merged

montyly merged 11 commits intodevcrytic/slither:devfrom dev-echidnacrytic/slither:dev-echidnaCopy head branch name to clipboardOct 13, 2023

+54-45

Commits

Commits on Apr 6, 2023

• Improve echidna printer perf

  smonicas

  committed
  de311b5

Commits on Jul 25, 2023

• Use is_test_contract util

  smonicas

  committed
  27f5646

• Merge branch 'dev' into dev-echidna

  smonicas

  committed
  6acab7b

• Lint

  smonicas

  committed
  c23b8fe

Commits on Oct 13, 2023

• Merge branch 'dev' into dev-echidna

  montyly

  committed
  167dc5b

• fix pylint

  montyly

  committed
  b265089

• Merge branch 'dev' into dev-echidna

  montyly

  committed
  3faf1bf

• Fix merge

  montyly

  committed
  dea0483

• Add missing type import

  montyly

  committed
  1437b01

• Keep tests contract in the echidna printer

  Show description for 0362e00
  montyly

  committed
  0362e00

• Add more types, fix pylint

  montyly

  committed
  d9805c0