Upgrade dependencies. Make PyTest more comfortable to use. (#179)

exo-lang · Apr 2, 2022 · d1a217f · d1a217f
1 parent ff3f15c
commit d1a217f
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 11 deletions.
diff --git a/pyproject.toml b/pyproject.toml
@@ -7,3 +7,4 @@ filterwarnings = [
     'ignore:lib2to3 package is deprecated:PendingDeprecationWarning'
 ]
 norecursedirs = ['dependencies']
+pythonpath = "src/"
diff --git a/requirements.txt b/requirements.txt
@@ -1,17 +1,17 @@
-Pillow==9.0.1
+Pillow==9.1.0
 PySMT==0.9.0
 asdl-adt==0.1.0
 asdl==0.1.5
 astor==0.8.1
 build==0.7.0
-coverage==6.3
+coverage==6.3.2
 jupyter-contrib-nbextensions==0.5.1
-numpy==1.21.2
+numpy==1.22.3
 pytest-cov==3.0.0
-pytest==6.2.5
-scipy==1.7.1
-sympy==1.9
-torch==1.10.1
-tox==3.24.4
-yapf==0.31.0
-z3-solver==4.8.12.0
+pytest==7.1.1
+scipy==1.8.0
+sympy==1.10.1
+torch==1.11.0
+tox==3.24.5
+yapf==0.32.0
+z3-solver==4.8.15.0
diff --git a/tox.ini b/tox.ini
@@ -10,6 +10,6 @@ deps =
     pytest-cov
     scipy
     torch
-commands = pytest --cov=./ --cov-report=xml
+commands = pytest --cov=./ --cov-report=xml -o pythonpath=
 passenv =
     SDE_PATH