From 84eef9d67d2800909a18ba28dc1b20dcc5849666 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:13:45 +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 1b09747..48eebe3 100644
--- a/README.md
+++ b/README.md
@@ -133,6 +133,7 @@ Join Trail of Bits for a free Ethereum Office Hours session by [reserving a slot
 ### Bug finding tools
 
 * [Echidna](https://github.com/trailofbits/echidna) - Fuzzer for Ethereum smart contracts. Uses property testing to generate malicious inputs that break smart contracts.
+- [ERCx](https://ercx.runtimeverification.com) - Testing tool with a Web interface to test conformance and properties of ERC-20 tokens. Based on Foundry forge.
 * [Manticore](https://github.com/trailofbits/manticore) - Symbolic execution tool for Ethereum smart contracts that includes detectors for common security flaws
 * [Mythril OSS](https://github.com/ConsenSys/mythril/) - Open-source security analysis tool for Ethereum smart contracts built around detector modules
 * [Securify](https://github.com/eth-sri/securify) - Static analysis tool from ChainSecurity