cover with phpspec