Code

Add Echidna fuzzing with CI support#8

Code

Merged

coolhill merged 15 commits intomainlindy-labs/sc_solidity-contracts:mainfrom echidnalindy-labs/sc_solidity-contracts:echidnaCopy head branch name to clipboardMar 2, 2022

+120

Commits

Commits on Feb 17, 2022

• yarn.lock update

  coolhill

  committed
  87d4f23

  Copy full SHA for 87d4f23

• echidna config

  coolhill

  committed
  10fbc8b

  Copy full SHA for 10fbc8b

• echidna ci + EchidnaPercentMath

  coolhill

  committed
  9e9e438

  Copy full SHA for 9e9e438

• echidna-action

  coolhill

  committed
  6e71231

  Copy full SHA for 6e71231

• echidna ci fix

  coolhill

  committed
  cab3905

  Copy full SHA for cab3905

Commits on Feb 22, 2022

• echidna vault with seeding

  coolhill

  committed
  a25e2ab

  Copy full SHA for a25e2ab

• echidnavault config

  coolhill

  committed
  88277fd

  Copy full SHA for 88277fd

Commits on Feb 23, 2022

• wip

  coolhill

  committed
  2721d09

  Copy full SHA for 2721d09

• Merge branch 'main' of github.com:sandclock-org/solidity_contracts into echidna

  coolhill

  committed
  6fb0dcd

  Copy full SHA for 6fb0dcd

Commits on Feb 24, 2022

• Merge branch 'main' of github.com:sandclock-org/solidity_contracts into echidna

  coolhill

  committed
  b63c5bc

  Copy full SHA for b63c5bc

Commits on Feb 25, 2022

• better abstraction for invariants

  coolhill

  committed
  08dd9f2

  Copy full SHA for 08dd9f2

• move to echidna folder

  coolhill

  committed
  cb4dc2a

  Copy full SHA for cb4dc2a

Commits on Feb 28, 2022

• corpus caching + coverage upload as artifact

  coolhill

  committed
  19bd450

  Copy full SHA for 19bd450

• rm percentmath test

  coolhill

  committed
  062e7d7

  Copy full SHA for 062e7d7

• limit tests to 3000 a pop

  coolhill

  committed
  d513a65

  Copy full SHA for d513a65