Update README.md (crytic#852)

ahpaleus · Nov 22, 2022 · fb556c5 · fb556c5
1 parent 0b4e1e7
commit fb556c5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -280,6 +280,7 @@ nix-shell --run 'cabal test'
 
 This is a partial list of smart contracts projects that use Echidna for testing:
 
+* [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)
 * [MakerDAO vest](https://github.com/makerdao/dss-vest/pull/16)