alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

attempt to mitigate our Debian build failures

Browse source 
* tests/Makefile.am: Run Python tests before other tests.
* tests/python/ipnbdoctest.py: Add some debug.
This commit is contained in:
Alexandre Duret-Lutz 2016-11-08 19:07:12 +01:00
parent 5a862295d3
commit 75c33defb3
2 changed files with 9 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

10
tests/Makefile.am
View file

@ -35,9 +35,13 @@ LOG_DRIVER = $(TEST_LOG_DRIVER)
check_SCRIPTS = run
# We try to keep this somehow by strength. Test basic things first,
# because such failures will be easier to diagnose and fix.
TESTS = $(TESTS_sanity) $(TESTS_misc) $(TESTS_tl) $(TESTS_graph) \
$(TESTS_kripke) $(TESTS_twa) $(TESTS_python) $(TESTS_ltsmin)
# because such failures will be easier to diagnose and fix. The only
# exception is that we keep TESTS_python at the beginning, because if
# these tests are run at the same time as some heavy tests in
# TESTS_twa they can easily fail due to some timeout in the Jupyter
# communications.
TESTS = $(TESTS_sanity) $(TESTS_python) $(TESTS_misc) $(TESTS_tl) \
$(TESTS_graph) $(TESTS_kripke) $(TESTS_twa) $(TESTS_ltsmin)
distclean-local:
find . -name '*.dir' -type d -print | xargs rm -rf