Add badges for build status and code coverage

.github/workflows/cmake.yml

@@ -42,6 +42,12 @@ jobs:
         working-directory: ${{github.workspace}}/build
         run: ctest -C ${{env.BUILD_TYPE}} --rerun-failed --output-on-failure -T Test -T Coverage -T MemCheck
 
+      - name: Upload coverage reports to Codecov
+        if: matrix.build_type == 'Debug' && matrix.os == 'ubuntu-latest'
+        uses: codecov/[email protected]
+        with:
+          token: ${{ secrets.CODECOV_TOKEN }}
+
       - name: Test without coverage and memory sanitizer
         if: matrix.build_type == 'Release' || matrix.os != 'ubuntu-latest'
         working-directory: ${{github.workspace}}/build

README.md

@@ -1,6 +1,7 @@
 # The RiDDLe Language
 
 ![Build Status](https://github.com/ratioSolver/RiDDLe/actions/workflows/cmake.yml/badge.svg)
+[![codecov](https://codecov.io/gh/ratioSolver/RiDDLe/branch/master/graph/badge.svg)](https://codecov.io/gh/ratioSolver/RiDDLe)
 
 The Rational Domain Definition Language (RiDDLe) takes inspiration from the [DDL.1](https://www.researchgate.net/publication/228818262_DDL_1_A_formal_description_of_a_constraint_representation_language_for_physical_domains) language and extends it introducing a pure object-oriented approach to the definition of timeline-based domains and problem definitions, allowing an higher decomposition of the domain model and an increase of modularity with a consequent reduction of the the overall complexity at design phase.