Skip to content

Commit

Permalink
Update README.md (#1190)
Browse files Browse the repository at this point in the history
  • Loading branch information
0xicingdeath committed Feb 27, 2024
1 parent 92f30c6 commit e72975c
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -297,6 +297,7 @@ $ nix develop # alternatively nix-shell

This is a partial list of smart contracts projects that use Echidna for testing:

* [Curvance](https://github.com/curvance/Curvance-CantinaCompetition/tree/CodeFAQAndAdjustments/tests/fuzzing)
* [Primitive](https://github.com/primitivefinance/rmm-core/tree/main/contracts/crytic)
* [Uniswap-v3](https://github.com/search?q=org%3AUniswap+echidna&type=commits)
* [Balancer](https://github.com/balancer-labs/balancer-core/tree/master/echidna)
Expand Down

0 comments on commit e72975c

Please sign in to comment.