From 8519dad8f763ffd4d60123777df6fa45d6251d9f Mon Sep 17 00:00:00 2001
From: Mordan Vitalii <mordan.vitalii@huawei.com>
Date: Mon, 19 Jun 2023 19:39:49 +0500
Subject: [PATCH] Update python modules

---
 .github/workflows/deploy.yml | 4 ++--
 README.md                    | 2 +-
 docs/tools_ru.md             | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index 07a8552..6e652c9 100644
--- 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
index a06d889..89ceafe 100644
--- 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
index edb80d3..cfdcb79 100755
--- 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-интерфейс, отвечающий за визуализацию результатов.