Update code coverage with coveralls and build badge with github actions (#175)

* Update code coverage with coveralls and build badge with github actions

* Update pom.xml with jacoco plugin

Author: jainadc9

.github/workflows/main.yml

@@ -32,4 +32,10 @@ jobs:
 
       - name: Run test
         shell: bash
-        run : mvn -V -B -U clean test 
+        run : mvn -V -B -U clean test jacoco:report
+
+      - name: Coveralls
+        if: github.event_name == 'push'
+        uses: coverallsapp/github-action@v2
+        with:
+          github-token: ${{ github.token }}

README.md

@@ -18,7 +18,7 @@
 <img src="./images/logo.png" alt="Eiffel RemRem" width="350"/>
 
 [![Sandbox badge](https://img.shields.io/badge/Stage-Sandbox-yellow)](https://github.com/eiffel-community/community/blob/master/PROJECT_LIFECYCLE.md#stage-sandbox)
-[![Build Status](https://travis-ci.org/eiffel-community/eiffel-remrem-semantics.svg?branch=master)](https://travis-ci.org/eiffel-community/eiffel-remrem-semantics)
+[![CI](https://github.com/eiffel-community/eiffel-remrem-semantics/actions/workflows/main.yml/badge.svg)](https://github.com/eiffel-community/eiffel-remrem-semantics/actions/workflows/main.yml)
 [![Coverage Status](https://coveralls.io/repos/github/eiffel-community/eiffel-remrem-semantics/badge.svg?branch=master)](https://coveralls.io/github/eiffel-community/eiffel-remrem-semantics?branch=master)
 [![](https://jitpack.io/v/eiffel-community/eiffel-remrem-semantics.svg)](https://jitpack.io/#eiffel-community/eiffel-remrem-semantics)
 

pom.xml

@@ -260,6 +260,44 @@
                     </includes>
                 </configuration>
             </plugin>
+            <plugin>
+                <groupId>org.jacoco</groupId>
+                <artifactId>jacoco-maven-plugin</artifactId>
+                 <version>${jacoco-maven-plugin.version}</version>
+                <executions>
+                    <execution>
+                        <id>prepare-agent</id>
+                        <goals>
+                            <goal>prepare-agent</goal>
+                        </goals>
+                    </execution>
+                    <execution>
+                        <id>report</id>
+                        <phase>prepare-package</phase>
+                        <goals>
+                            <goal>report</goal>
+                        </goals>
+                    </execution>
+                    <execution>
+                        <id>post-unit-test</id>
+                        <phase>test</phase>
+                        <goals>
+                            <goal>report</goal>
+                        </goals>
+                        <configuration>
+                            <!-- Sets the path to the file which contains the execution data. -->
+                            <dataFile>target/jacoco.exec</dataFile>
+                            <!-- Sets the output directory for the code coverage report. -->
+                            <outputDirectory>target/jacoco-ut</outputDirectory>
+                        </configuration>
+                    </execution>
+                </executions>
+                <configuration>
+                    <systemPropertyVariables>
+                        <jacoco-agent.destfile>target/jacoco.exec</jacoco-agent.destfile>
+                    </systemPropertyVariables>
+                </configuration>
+            </plugin>
         </plugins>
     </build>
 </project>