From 43dbe83cb88d8a676950ad1055f0238895e349ae Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ylie=CC=80s=20Falcone?=
 <ylies.falcone@runtimeverification.com>
Date: Tue, 25 Apr 2023 22:19:13 +0200
Subject: [PATCH] Updated README.md to add ERCx testing tool

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index 9e999637..44b65a02 100644
--- a/README.md
+++ b/README.md
@@ -379,6 +379,7 @@ Many thanks to the ~100 contributors including [@corbpage](https://twitter.com/c
 * [rocketh](https://github.com/wighawag/rocketh) - A simple lib to test ethereum smart contract that allow to use whatever web3 lib and test runner you choose.
 * [pytest-cobra](https://github.com/cobraframework/pytest-cobra) - PyTest plugin for testing smart contracts for Ethereum blockchain.
 * [Synpress](https://github.com/Synthetixio/synpress) - Web3-enabled e2e testing tool. A wrapper around Cypress.io with included MetaMask support which allows you to test dapps with ease.
+* [ERCx](https://ercx.runtimeverification.com) - Testing tool with a Web interface to test conformance and properties of ERC-20 tokens. Based on Foundry forge.
 
 ### Security Tools
 * [MythX](https://mythx.io/) - Security verification platform and tools ecosystem for Ethereum developers