https://github.com/xternet/echidna-etheno-hh-template

Echidna, Etheno, and HardHat template for fuzzing complex systems.
https://github.com/xternet/echidna-etheno-hh-template

echidna etheno ethereum hardhat smart-contract-security smart-contract-tools smart-contracts-audit

Last synced: 6 days ago
JSON representation

Echidna, Etheno, and HardHat template for fuzzing complex systems.

• Host: GitHub
• URL: https://github.com/xternet/echidna-etheno-hh-template
• Owner: xternet
• Created: 2023-01-09T20:54:09.000Z (almost 2 years ago)
• Default Branch: master
• Last Pushed: 2023-01-09T21:06:44.000Z (almost 2 years ago)
• Last Synced: 2023-03-10T05:14:05.256Z (over 1 year ago)
• Topics: echidna, etheno, ethereum, hardhat, smart-contract-security, smart-contract-tools, smart-contracts-audit
• Language: Solidity
• Homepage:
• Size: 5.86 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project