From 0b7343dd345f314d02b2c21ea69b84a02ac2c94f Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Mon, 9 Apr 2018 16:38:09 -0700
Subject: [PATCH] Correct the command for computing code coverage

---
 CODE_COVERAGE.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CODE_COVERAGE.md b/CODE_COVERAGE.md
index 589c7ad79..d1ce7afd2 100644
--- a/CODE_COVERAGE.md
+++ b/CODE_COVERAGE.md
@@ -1,7 +1,7 @@
 # Code Coverage Report generation
 
 To generate the code coverage report, execute the following command:
-> mvn clean verify
+> mvn clean verify jacoco:report
 
 This will generate code coverage report in each of the modules. In order to view the same, open the following file in your browser.
 > target/site/jacoco/index.html