diff --git a/.travis.yml b/.travis.yml
index c94cf696..2f33bd54 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -14,3 +14,5 @@ env:
script: cd $SRCDIR && mvn verify
+after_success:
+ - mvn clean test jacoco:report coveralls:report
diff --git a/PL2/pom.xml b/PL2/pom.xml
index 260a2443..cc0cdaf9 100644
--- a/PL2/pom.xml
+++ b/PL2/pom.xml
@@ -197,12 +197,18 @@
+
+ org.eluder.coveralls
+ coveralls-maven-plugin
+ 4.2.0
+
org.jacoco
jacoco-maven-plugin
0.7.6.201602180812
+ prepare-agent
prepare-agent