Instrumented test to debug Travis