Test

Signed-off-by: Hernan Ponce de Leon <[email protected]>

.github/workflows/maven.yml

@@ -42,69 +42,6 @@ jobs:
     - name: Set DAT3M_OUTPUT
       run: echo "DAT3M_OUTPUT=$(echo $DAT3M_HOME)/output" >> $GITHUB_ENV
 
-  litmus-tests:
-    needs: build
-    runs-on: ubuntu-latest
-
-    - name: Litmus tests
-      run: mvn test -Dtest="com/dat3m/dartagnan/litmus/*"
-
-  llvm-tests:
-    needs: build
-    runs-on: ubuntu-latest
-
-    - name: LLVM tests
-      run: mvn test -Dtest="com/dat3m/dartagnan/llvm/*"
-
-  other-tests:
-    needs: build
-    runs-on: ubuntu-latest
-
-    - name: Other tests
-      run: mvn test -Dtest="com/dat3m/dartagnan/others/*"
-
-  spirv-tests:
-    needs: build
-    runs-on: ubuntu-latest
-
-    - name: SPIRV tests
-      run: mvn test -Dtest="com/dat3m/dartagnan/spirv/*"
-
-
-  coverage:
-    needs: [litmus-tests, llvm-tests, other-tests, spirv-tests]
-    runs-on: ubuntu-latest
-
-    - name: Log coverage percentage
-      run: |
-        echo "coverage = ${{ steps.jacoco.outputs.coverage }}"
-        echo "branch coverage = ${{ steps.jacoco.outputs.branches }}"
-    - name: Commit the badges (if changed)
-      if: ${{ github.event_name != 'pull_request' }}
-      run: |
-        cd badges
-        if [[ `git status --porcelain *.svg` ]]; then
-          git config --global user.name 'Hernan Ponce de Leon'
-          git config --global user.email '[email protected]'
-          git add *.svg
-          git commit -m "Autogenerated JaCoCo coverage badge" *.svg
-          git push
-        fi
-
-  badge:
-    needs: [litmus-tests, llvm-tests, other-tests, spirv-tests]
-    runs-on: ubuntu-latest
-
-    - name: Generate JaCoCo Badge
-      id: jacoco
-      uses: cicirello/jacoco-badge-generator@v2
-      with:
-        badges-directory: badges
-        coverage-badge-filename: coverage.svg
-        generate-branches-badge: true
-        branches-badge-filename: branches.svg
-        jacoco-csv-file: dartagnan/target/site/jacoco/jacoco.csv
-
   docker:
     runs-on: ubuntu-latest