Update python modules

ispras · Jun 19, 2023 · 8519dad · 8519dad
1 parent eadaab3
commit 8519dad
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -17,7 +17,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==2.1 psycopg2 clade pyyaml
+        pip3 install requests ujson graphviz ply pytest atomicwrites more-itertools pluggy py attrs setuptools six django==2.1 psycopg2 clade pyyaml pycparser sympy
     - name: Deployment of CV
       run: |
         DEPLOY_DIR=build make install -j$(nproc)
@@ -41,7 +41,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==2.1 psycopg2
+        pip3 install requests ujson graphviz ply pytest atomicwrites more-itertools pluggy py attrs setuptools six django==2.1 psycopg2 pycparser sympy
     - name: Deployment of Benchmark Visualizer
       run: |
         DEPLOY_DIR=build make install-benchmark-visualizer -j$(nproc)

diff --git a/README.md b/README.md
@@ -14,7 +14,7 @@ Witness Visualizer converts generic witnesses from [SV-COMP](https://sv-comp.sos
 
 Python (version>=3.4), python modules:
 ```shell
-sudo pip3 install requests ujson graphviz ply pytest atomicwrites more-itertools pluggy py attrs setuptools six django==2.1 psycopg2
+sudo pip3 install requests ujson graphviz ply pytest atomicwrites more-itertools pluggy py attrs setuptools six django==2.1 psycopg2 pycparser sympy
 ```
 
 #### Deployment

diff --git a/docs/tools_ru.md b/docs/tools_ru.md
@@ -11,7 +11,7 @@ sudo apt install git openjdk-11-jdk python3 python3-dev ant lcov cmake libmpc-de
 Модули python:
 
 ```shell
-sudo pip3 install requests ujson graphviz ply pytest atomicwrites pathlib2 more-itertools pluggy py attrs setuptools six django==2.1 clade psycopg2 pyyaml
+sudo pip3 install requests ujson graphviz ply pytest atomicwrites pathlib2 more-itertools pluggy py attrs setuptools six django==2.1 clade psycopg2 pyyaml pycparser sympy
 ```
 
 1. Инструмент klever — web-интерфейс, отвечающий за визуализацию результатов.