Set GitHub CI

Author: vmordan

.github/workflows/deploy.yml

@@ -0,0 +1,60 @@
+name: Deploy
+
+on: [push, workflow_dispatch]
+
+jobs:
+  build-launcher:
+    runs-on: ubuntu-22.04
+    strategy:
+      matrix:
+        python-version: [ "3.8" ]
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+        with:
+          submodules: recursive
+          fetch-depth: 0
+
+      - name: Set up Python ${{ matrix.python-version }}
+        uses: actions/setup-python@v4
+        with:
+          python-version: ${{ matrix.python-version }}
+
+      - name: Configure system for container mode
+        run: |
+          echo "Enabling unprivileged user namespaces..."
+          sudo sysctl kernel.unprivileged_userns_clone=1
+          sudo sysctl -w user.max_user_namespaces=10000
+
+      - name: Install system dependencies
+        run: |
+          echo "Installing required packages..."
+          sudo apt-get update
+          sudo apt-get install -y openjdk-17-jdk
+          echo "Configuring Java 17 as default..."
+          sudo update-alternatives --install /usr/bin/java java /usr/lib/jvm/java-17-openjdk-amd64/bin/java 1
+          sudo update-alternatives --install /usr/bin/javac javac /usr/lib/jvm/java-17-openjdk-amd64/bin/javac 1
+          sudo update-alternatives --set java /usr/lib/jvm/java-17-openjdk-amd64/bin/java
+          sudo update-alternatives --set javac /usr/lib/jvm/java-17-openjdk-amd64/bin/javac
+          echo "JAVA_HOME=/usr/lib/jvm/java-17-openjdk-amd64" >> $GITHUB_ENV
+
+      - name: Install Python dependencies
+        run: |
+          python3 -m pip install --upgrade pip
+          pip3 install -r requirements.txt
+
+      - name: Build and deploy Continuous Verification Framework
+        run: |
+          echo "Building and deploying CV..."
+          make install -j"$(nproc)" DEPLOY_DIR=build
+
+      - name: Run integration tests
+        run: |
+          echo "Running integration tests..."
+          cp -r docs/examples/sources/ build/
+          cd build
+          python3 ./launcher/launch.py -c configs/it.json
+
+          echo "Verifying results..."
+          grep "it;smg;no_memory_leak_caller;TRUE;SUCCESS" results/report_launches_it_*.csv || exit 1
+          grep "it;smg;memory_leak_caller;FALSE;SUCCESS" results/report_launches_it_*.csv || exit 1

.github/workflows/pylint.yml

@@ -0,0 +1,23 @@
+name: Pylint
+
+on: [push, workflow_dispatch]
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        python-version: ["3.8"]
+    steps:
+    - uses: actions/checkout@v3
+    - name: Set up Python ${{ matrix.python-version }}
+      uses: actions/setup-python@v3
+      with:
+        python-version: ${{ matrix.python-version }}
+    - name: Install dependencies
+      run: |
+        python -m pip install --upgrade pip
+        pip install pylint
+    - name: Analysing the code with pylint
+      run: |
+        pylint $(git ls-files '*.py')

Makefile

@@ -159,9 +159,10 @@ install-cif-compiled: build-cif-compiled check-deploy-dir
 
 install-scripts: check-deploy-dir
 	@mkdir -p ${DEPLOY_DIR}/${install_dir}
+	@mkdir -p ${root_dir}/${plugin_dir}
 	@cp ${tools_config_file} ${DEPLOY_DIR}/${install_dir}
 	@cp ${tools_config_file} cvf/${install_dir}
-	@cp -r cvf launcher entrypoints patches properties plugin configs ${DEPLOY_DIR}
+	@cp -r cvf launcher entrypoints patches properties ${plugin_dir} configs ${DEPLOY_DIR}
 	@mkdir -p ${DEPLOY_DIR}/buildbot
 
 install: check-deploy-dir install-cvv install-benchexec install-cil install-cpa install-scripts install-cpa install-cif-compiled

launcher/launch.py

@@ -10,12 +10,13 @@
 """
 Main launch script.
 """
+# pylint: disable=wrong-import-position
 import argparse
 import sys
 from pathlib import Path
 
-cvf_lib = str(Path(__file__).resolve().parent.parent.joinpath("cvf").joinpath("cv"))
-sys.path.append(cvf_lib)
+CVF_LIB = str(Path(__file__).resolve().parent.parent.joinpath("cvf").joinpath("cv"))
+sys.path.append(CVF_LIB)
 
 from solving.full_launcher import FullLauncher as Launcher
 

requirements.txt

@@ -16,3 +16,4 @@ django
 pyyaml
 pycparser
 sympy
+clade==3.6