Trying out Python 3.10

.github/workflows/test.yml

@@ -13,10 +13,10 @@ jobs:
       BOOGIE_EXE: "/home/runner/.dotnet/tools/boogie"
     steps:
     - uses: actions/checkout@v2
-    - name: Set up Python 3.9
+    - name: Set up Python 3.10
       uses: actions/setup-python@v2
       with:
-        python-version: 3.9
+        python-version: 3.10
     - name: Install Boogie
       run: |
         dotnet tool install --global Boogie --version 2.15.9
@@ -27,4 +27,4 @@ jobs:
         pip install .
     - name: Test with pytest
       run: |
-        pytest src/nagini_translation/tests.py --silicon --carbon
+        pytest -p no:faulthandler src/nagini_translation/tests.py --silicon --carbon

README.rst

@@ -10,7 +10,7 @@ For use with the PyCharm IDE, try the `Nagini PyCharm plugin <https://github.com
 Dependencies (Ubuntu Linux)
 ===================================
 
-Install Java 11 or newer (64 bit) and Python 3.9 (64 bit, other versions likely *will not work*) and the required libraries::
+Install Java 11 or newer (64 bit) and Python 3.10 (64 bit, other versions likely *will not work*) and the required libraries::
 
     sudo apt-get install python3-dev
 
@@ -19,7 +19,7 @@ For usage with Viper's verification condition generation backend Carbon, you wil
 Dependencies (Windows)
 ==========================
 
-1.  Install Java 11 or newer (64 bit) and Python 3.9 (64 bit, other versions likely *will not work*).
+1.  Install Java 11 or newer (64 bit) and Python 3.10 (64 bit, other versions likely *will not work*).
 
 2.  Install the required version of either Visual C++ Build Tools or Visual Studio. 
 

setup.py

@@ -26,10 +26,9 @@
         install_requires=[
             'mypy==0.782',
             'toposort==1.5',
-            'jpype1==1.0.1',
+            'jpype1==1.4.0',
             'astunparse==1.6.2',
-            'pytest==4.3.0',
-            'pytest-xdist==1.27.0',
+            'pytest==7.0.0',
             'z3-solver==4.8.7.0'
             ],
         entry_points={