DeadlockDetector spec
new travis-ci config