diff -r be39695cbfda -r 306f67906a6c tests/run-tests.py