Use pytest to run doctests.

aibasel · Sep 26, 2020 · ad65e60 · ad65e60
1 parent 80469ec
commit ad65e60
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 25 deletions.
diff --git a/tests/run-doctests b/tests/run-doctests
diff --git a/tox.ini b/tox.ini
@@ -7,12 +7,11 @@ skip_missing_interpreters = true
 deps =
   pytest
 commands =
-  python -m pytest tests
+  pytest --doctest-modules --ignore dev/ --ignore examples/ . examples/showcase-options.py
   bash {toxinidir}/tests/run-example-experiment vertex-cover/exp.py
   bash {toxinidir}/tests/run-example-experiment lmcut.py
   bash {toxinidir}/tests/run-example-experiment showcase-options.py
   bash {toxinidir}/tests/run-example-experiment report-external-results.py
-  bash {toxinidir}/tests/run-doctests
 passenv =
   CXX
   DOWNWARD_BENCHMARKS