From 86ca327316077abde2ba9afcd40c76c22fddc981 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 13 Dec 2016 18:08:24 +0100
Subject: [PATCH] Pytest is required

---
 setup.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/setup.py b/setup.py
index 26b334c..9664512 100755
--- a/setup.py
+++ b/setup.py
@@ -81,5 +81,6 @@ setup(
       ext_package='stormpy',
       ext_modules=[CMakeExtension('core', subdir=''), CMakeExtension('info', subdir='info'),CMakeExtension('expressions', subdir='expressions'), CMakeExtension('logic', subdir='logic'), CMakeExtension('storage', subdir='storage')],
       cmdclass=dict(build_ext=CMakeBuild),
-      zip_safe=False
+      zip_safe=False,
+      install_requires=['pytest'],
 )