Echidna tests and slither fixes - Githubissues

tokencard / contracts

The Consumer Contract Wallet

GNU General Public License v3.0

94 stars 40 forks source link

Echidna tests and slither fixes #543

Closed nostdm closed 4 years ago

nostdm commented 4 years ago

Fixed/modified existing Echidna tests cases
Updated README.md
Created new Echidna test cases
Deleted outdated test cases (e.g. stringProps)
Added new configuration options (e.g. timeout)
Parallelized all CircleCI tests
Added a configuration file to Slither