test.py for regression testing might switch to TDD.