codecov.yml

name: Test the code coverage

on: [push, pull_request, workflow_dispatch]

jobs:
  build:
    runs-on: ubuntu-latest
    strategy:
      matrix:
        python-version: [3.9]
    steps:
      - name: Checkout
        uses: actions/checkout@v4

      - name: Set up Python ${{ matrix.python-version }}
        uses: actions/setup-python@v5
        with:
          python-version: ${{ matrix.python-version }}

      - name: Upgrade pip version
        run: |
          python -m pip install -U pip

      - name: Install dependencies
        run: |
          sudo apt-get install python3-setuptools lcov libboost-dev libgmp-dev

      - name: Install LLVM and Clang
        uses: KyleMayes/install-llvm-action@v2
        with:
          version: "14.0"
          directory: ${{ runner.temp }}/llvm

      - name: Install Z3
        run: |
          sudo apt-get install libz3-dev
          python -m pip install z3-solver
          python -m pip install importlib-resources

      - name: Install Ninja
        run: |
          sudo apt-get install ninja-build

      - name: Install Meson
        run: |
          python -m pip install meson

      - name: Install Bitwuzla
        run: |
          git clone https://github.com/bitwuzla/bitwuzla.git
          cd bitwuzla
          git checkout -b 0.7.0 0.7.0
          python ./configure.py --shared
          cd build
          sudo ninja install
          sudo ldconfig
          cd ..

      - name: Install Capstone
        run: |
          wget https://github.com/aquynh/capstone/archive/5.0.3.tar.gz
          tar -xf ./5.0.3.tar.gz
          cd ./capstone-5.0.3
          bash ./make.sh
          sudo make install
          cd ../

      - name: Install Unicorn
        run: |
          python -m pip install unicorn

      - name: Install LIEF
        run: |
          python -m pip install lief

      - name: Compile Triton
        run: |
          mkdir ./build
          cd ./build
          cmake -DGCOV=on -DZ3_INTERFACE=on -DBITWUZLA_INTERFACE=on -DBITWUZLA_INCLUDE_DIRS=/usr/local/include -DBITWUZLA_LIBRARIES=/usr/local/lib/x86_64-linux-gnu/libbitwuzla.so -DLLVM_INTERFACE=on -DCMAKE_PREFIX_PATH=${{env.LLVM_PATH}} ..
          sudo make -j3 install

      - name: Unittests
        run: |
          make -C build check
          bash <(curl -s https://codecov.io/bash) || echo "Codecov did not collect coverage reports"