From b14ec6fc4007fe3e23de0551b1e1c6d6b86c087c Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Mon, 9 Mar 2020 13:57:39 +0100 Subject: [PATCH] Add installation step for pytest in doc --- doc/source/installation.rst | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/doc/source/installation.rst b/doc/source/installation.rst index 80ce6c7..2fd9bb1 100644 --- a/doc/source/installation.rst +++ b/doc/source/installation.rst @@ -91,9 +91,14 @@ The build step ``build_ext`` also takes optional arguments for a more advanced c Testing stormpy installation ---------------------------- -After building, you can run the test files by:: +After building, you can run the test files by either:: + + $ python setup.py test + +or by invoking pytest directly with:: + + $ pip install pytest + $ py.test tests/ - py.test tests/ - If the tests pass, you can now use stormpy. To get started, continue with our :doc:`getting_started`, consult the test files in ``tests/`` or the :doc:`api` (work in progress).