Use phpspec instead of phpunit for Travis