EqBench: Run analysis in github workflow

.github/workflows/analysis.yml

@@ -0,0 +1,66 @@
+name: Analysis of DiffKemp equivalence checking
+
+on: [push, pull_request]
+
+jobs:
+  EqBench:
+    runs-on: ubuntu-latest
+    # todo refactor with ci.yaml - maybe creating action for building diffkemp
+    env:
+      llvm: 16
+      CC: gcc-9
+      CXX: g++-9
+      asan: OFF
+    steps:
+      - uses: actions/checkout@v3
+
+      - name: Delete unused software
+        run: |
+          sudo rm -rf /usr/local/lib/android
+          sudo rm -rf /usr/share/dotnet
+          sudo rm -rf /opt/ghc
+          sudo rm -rf /opt/hostedtoolcache/CodeQL
+
+      - name: Setup Python
+        uses: actions/setup-python@v4
+        with:
+          python-version: 3.9
+
+      - name: Install Dependencies
+        working-directory: ${{ github.workspace }}
+        shell: bash
+        run: |
+          sudo apt-get install bc cscope libelf-dev ninja-build
+          pip install -r requirements.txt
+
+      - name: Install LLVM
+        run: |
+          wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key | sudo apt-key add -
+          sudo add-apt-repository "deb http://apt.llvm.org/focal/ llvm-toolchain-focal-${llvm} main"
+          sudo apt-get update
+          sudo apt-get install llvm-${llvm} llvm-${llvm}-dev clang-${llvm}
+          sudo ln -s /usr/lib/llvm-${llvm} /usr/local/lib/llvm
+          echo "/usr/lib/llvm-${llvm}/bin" >> $GITHUB_PATH
+
+      - name: Prepare Build Environment
+        run: |
+          mkdir -p ${{ github.workspace }}/build
+  
+      - name: CMake
+        working-directory: ${{ github.workspace }}/build
+        shell: bash
+        run: cmake $GITHUB_WORKSPACE -GNinja -DSANITIZE_ADDRESS=${{ env.asan }} -DVENDOR_GTEST=On
+
+      - name: Build
+        working-directory: ${{ github.workspace }}/build
+        run: ninja
+
+      - name: Install
+        working-directory: ${{ github.workspace }}
+        run: pip3 install -e .
+
+      - name: Run analysis
+        working-directory: ${{ github.workspace }}
+        run: |
+          git clone https://github.com/shrBadihi/EqBench.git
+          tools/eqbench-analysis.py -o eqbench-results/01-all-disabled/ --add-clang-options "-O1 " --disable-patterns

tools/eqbench-analysis.py

@@ -46,6 +46,7 @@
 from pathlib import Path
 from progressbar import ProgressBar
 import json
+import os
 import re
 import shutil
 import subprocess
@@ -317,6 +318,11 @@ def report(self):
                               tablefmt="pipe")
         print(report)
 
+        # Printing result summary if runs by github workflow
+        github_step_summary = os.getenv("GITHUB_STEP_SUMMARY")
+        if github_step_summary:
+            with open(github_step_summary, "a") as file:
+                print(report, file=file)
         # Saving summarisation of results to file
         report += f"\n\n(only-compare: {self.only_compare})\n"
         with open(Path(self.output_dir, "result.md"), "w") as file: