Documentation on runtests.py