7

Github GitHub - crytic/addressarrayutils_demo: Demonstration for using echidna t...

 3 years ago
source link: https://github.com/crytic/addressarrayutils_demo
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.

README.md

addressarrayutils_demo

Demonstration of echidna testing for a library

To use the crytic_assert.sol variant, you'll need to add "checkAsserts: true" to the yaml file.

To restore the original hasDuplicate bug, remove the code here.

About

Demonstration for using echidna to test a Solidity library

Resources

Releases

No releases published

Packages

No packages published

report

Recommend

About Joyk


Aggregate valuable and interesting links.
Joyk means Joy of geeK