From 252a3b73fe42a0d20c374f3907b3d534c3ae89e0 Mon Sep 17 00:00:00 2001
From: Linghui Luo <18470909+linghuiluo@users.noreply.github.com>
Date: Wed, 16 Oct 2019 23:13:48 +0200
Subject: [PATCH] Update README.md

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

diff --git a/README.md b/README.md
index 638b585..7c49f6b 100644
--- a/README.md
+++ b/README.md
@@ -11,6 +11,8 @@ COVA is a static analysis tool to compute path constraints based on user-defined
 - The lists of constraint-APIs can be found in directory [`cova/config/`](cova/config/): click to see [UICallback-related APIs](cova/config/UICallback_APIs.txt), [Configuration-related APIs](cova/config/Configuration_APIs.txt) and [IO-related APIs](cova/config/IO_APIs.txt)
 - The tests for running constraintBench for COVA can be found in directory [`cova/src/test/java/constraintBenchTestSuite/`](cova/src/test/java/constraintBenchTestSuite)
 - For more detailed description of COVA's underlying analysis, a long version of the paper can be found here ([click to download](https://github.com/covaanalyst/cova-root/blob/master/longversion.pdf))
+- The COVA IDE support is included in the develop branch. 
+
 ## API Documentation
 There is a generated [JavaDoc](https://secure-software-engineering.github.io/COVA/docs/) available.