From e72975cfd6089de01f00515a7f911fbaaa498e59 Mon Sep 17 00:00:00 2001 From: Nat Chin Date: Tue, 27 Feb 2024 10:38:46 -0500 Subject: [PATCH] Update README.md (#1190) --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index db62cddc9..2148c5543 100644 --- a/README.md +++ b/README.md @@ -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)