Update CI config

Author: vmordan

.github/workflows/deploy.yml

@@ -3,6 +3,42 @@ name: Deploy
 on: [push, workflow_dispatch]
 
 jobs:
+  build-launcher-22:
+    runs-on: ubuntu-22.04
+    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: |
+          sudo sysctl kernel.unprivileged_userns_clone=1
+          sudo sysctl -w user.max_user_namespaces=10000
+          sudo apt update
+          sudo apt install -y openjdk-17-jdk
+          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
+          java -version
+          javac -version
+          echo "JAVA_HOME=/usr/lib/jvm/java-17-openjdk-amd64" >> $GITHUB_ENV
+          echo $JAVA_HOME
+          python3 -m pip install --upgrade pip
+          pip3 install -r requirements.txt
+      - name: Deployment of CV
+        run: |
+          DEPLOY_DIR=build make install -j$(nproc)
+          DEPLOY_DIR=build make install-cif-compiled -j$(nproc)
+          cp -r docs/examples/sources/ build/
+          cd build
+          python3 ./scripts/launch.py -c configs/it.json
+          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
   build-launcher:
     runs-on: ubuntu-latest
     strategy:
@@ -16,15 +52,20 @@ jobs:
         python-version: ${{ matrix.python-version }}
     - name: Install dependencies
       run: |
+        sudo sysctl kernel.unprivileged_userns_clone=1
+        sudo sysctl -w user.max_user_namespaces=10000
+        sudo apt update
+        sudo apt install -y openjdk-17-jdk
         python3 -m pip install --upgrade pip
-        pip3 install requests ujson graphviz ply pytest atomicwrites more-itertools pluggy py attrs setuptools six django psycopg2 clade pyyaml pycparser sympy
+        pip3 install -r requirements.txt
     - name: Deployment of CV
       run: |
         DEPLOY_DIR=build make install -j$(nproc)
         DEPLOY_DIR=build make install-cif-compiled -j$(nproc)
         cp -r docs/examples/sources/ build/
         cd build
         python3 ./scripts/launch.py -c configs/it.json
+        cat results/report_launches_it_*.csv
         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
   build-visualizer:
@@ -41,7 +82,7 @@ jobs:
     - name: Install dependencies
       run: |
         python3 -m pip install --upgrade pip
-        pip3 install requests ujson graphviz ply pytest atomicwrites more-itertools pluggy py attrs setuptools six django psycopg2 pycparser sympy
+        pip3 install -r requirements.txt
     - name: Deployment of Benchmark Visualizer
       run: |
         DEPLOY_DIR=build make install-benchmark-visualizer -j$(nproc)
@@ -62,7 +103,7 @@ jobs:
     - name: Install dependencies
       run: |
         python3 -m pip install --upgrade pip
-        pip3 install requests ujson graphviz ply pytest atomicwrites more-itertools pluggy py attrs setuptools six django psycopg2 pycparser sympy
+        pip3 install -r requirements.txt
     - name: Deployment of MEA
       run: |
         DEPLOY_DIR=build make install-mea -j$(nproc)

cpa.config

@@ -1,5 +1,4 @@
 # CPAchecker tools specified in the following format:
 # mode;repository;branch;[revision]
 
-unreach;https://gitlab.ispras.ru/verification/cpachecker;smg-master;
-sync;https://gitlab.ispras.ru/verification/cpachecker;cpalockator-master;
+unreach;https://gitlab.ispras.ru/verification/cpachecker;smg-master;

requirements.txt

@@ -0,0 +1,21 @@
+# Core dependencies
+requests
+ujson
+graphviz
+ply
+pytest
+atomicwrites
+pathlib2
+more-itertools
+pluggy
+py
+attrs
+setuptools
+six
+django
+pyyaml
+pycparser
+sympy
+
+# Specific versions
+clade==3.6

scripts/components/full_launcher.py

@@ -207,7 +207,7 @@ def local_launch(self, launch: VerificationTask, benchmark, queue):
             os.chdir(launch_directory)
 
         # Verifier launch.
-        subprocess.check_call(f"benchexec --no-compress-results --container --full-access-dir / -o "
+        subprocess.check_call(f"benchexec --no-compress-results --container --read-only-dir / -o "
                               f"{launch_directory} {benchmark_name} {self.benchmark_args}",
                               shell=True, stderr=self.output_desc, stdout=self.output_desc)